419
правок
Изменения
Нет описания правки
|definition =
'''Нейтральным элементом''' <tex>\varepsilon \in \sum^{0}</tex> называется элемент, для которого верно <tex>\alpha\varepsilon=\epsilon\alpha=\alpha</tex>.
}}
Нейтральный элемент превращает <tex>\sum^*</tex> в свободный моноид, порожденный <tex>\sum</tex>.
Зададим группу с элементами <tex>a, 0, +</tex>.
{{Определение
|definition =
Алгебраическая структура называется '''свободной''', если для нее нельзя задать порождающие соотношения с конечного множества.
}}
{{Определение
|definition =
}}
{{Определение
|definition =
Если <tex>r\ge 2</tex>, то строка <tex>x</tex> называется '''периодомсильнопериодической''' <tex>\alpha</tex>, если <tex>\forall i = 1 \ldots n - < r< 2</tex> , то '''слабопериодической'''. Если <tex>\alpha [i] = \alpha[i + r]</tex>. Если -- целое и <tex>n = krr \ge 2</tex>, где то строка <tex>k > 1x</tex>, то строка называется '''сильнопериодическойстрогопериодической'''.
}}
Строка <tex>\alpha aaabaabab</tex> - примитивная <tex>(p = abraabraabran)</tex> является сильнопериодической . Строка <tex>abaababaabaab = (abaababa)(abaab)</tex> - слабопериодическая с периодом <tex>\beta p = abra8</tex>, k порядком <tex>r = 13/8</tex>. Строка <tex>abaabaab = (aba)^2(ab)</tex> - сильнопериодическая с периодом <tex>p = 3</tex>, порядком <tex>r = 48/3</tex>).
{{Определение
