Аннотация:В работе В. Тё решается следующая задача. Дан регулярный язык вида альфа_1(бета_1)*гамма_1 \/альфа_2(бета_2)*гамма_2. Нужно сформулировать критерий того, что все слова языка попарно сравнимы друг с другом, то есть одно из другого можно получить конечным применением операций однобуквенной вставки.
Критерия в общем случае получить не удалось. Однако получены неплохие необходимые условия на пару слов бета_1, бета_2. Кроме того, для частного случая бе-та1=(11)^a, бета2=(11)^b, НОД(а,b)=1 такой критерий найден. Также получено продвижение для случая бета1=(111)^a, бета2=(111)^b, НОД(а,b)=1.