Неавтоматность формального языка позволяет установить
(Отметьте один правильный вариант ответа.)
Варианты ответа
теорема автоматности
лемма об увеличении количества символов
лемма о разрастании(Верный ответ)