Предположим, конечный автомат получает на вход $ k $-ичное разложение числа $ n $ и выдает символ $ w_n $. Последовательность символов $ w_0w_1w_2\dots $ называется $ k $-автоматным словом. Каковы свойства таких слов? Как еще их можно охарактеризовать? Какие их свойства могут быть проверены конечными автоматами, полученными из исходного — вот, скажем, относится ли к ним избегание паттернов из предыдущей лекции?