304
правки
Изменения
м
→Свойства и эквивалентные определения
{{Теорема
|statement=
Пусть <tex>\varphi(S)</tex> — строка, получающаяся из результат применения морфизма <tex>S \in \{0varphi(a) = b, 1\}^*varphi(b) = a</tex> заменой всех вхождений к <tex>S \in \{a</tex> на <tex>, b</tex> и всех вхождений <tex>b</tex> на <tex>a\}^*</tex>. Для строк Туэ-Морса верно следующее соотношение: <tex>T_{n + 1} = T_n \varphi(T_n)</tex>
|proof=
Заметим, что соответсвующие индексы символов при приписывании новой строки к строке <tex>T_n</tex> получаются добавлением к индексам <tex>i = 0, 1, \dots, 2^n - 1</tex> числа <tex>2^n</tex>. Количество единиц в двоичной записи числа <tex>i + 2^n</tex> ровно на один больше, чем в двоичной записи числа <tex>i</tex>. Поэтому приписываемая строка есть ни что иное, как исходная строка с инвертированными символами.
Данная теорема позволяет определять последовательность строк Туэ-Морса следующим образом: <tex>T_0 = a</tex>, <tex>T_{n + 1} = T_n \varphi(T_n)</tex>.
Часто рассматривают предельный случай — бесконечную строку Туэ-Морса, любой символ которой можно получить из обычной строки Туэ-Морса с достаточно большим номером. Бесконечную строку также можно задать с помощью правил ассоциативного исчисления, клеточного автомата, рекурсивных соотношений и так далее.
== Ссылки ==
