Аннотация:В дипломной работе С. А. Салимовой приведено два результата. Первый состоит в проверке несуществования счетного семейства попарно невложимых друг в друга (в терминах операций выпадения-вставки) слов в двухэлементном алфавите. Вторым результатом является верхняя оценка на автоматную сложность языка, полученного из слова разовой вставкой типа клонирования (берем любую букву слова и пишем рядом с ней такую же).