419
правок
Изменения
Нет описания правки
'''Алфавитом''' <tex>\sum</tex> называется конечное непустое множество символов.
}}
{{Определение
|definition =
'''Цепочкой''' (словом, строкой) конечной длины обозначим <tex>\sum^p : \sum^p = \bigcup\limits_{n \in \mathbb N} \sum^n</tex>.
}}
{{Определение
|definition =
'''Конкатенацией''' строк <tex>\alpha = \sum^k</tex> и <tex>\beta = \sum^m</tex> является строка <tex>\alpha\beta = \sum^{k+m}</tex>. Конкатенация является ассоциативной операцией.
}}
{{Определение
|definition =
'''Нейтральным элементом''' <tex>\epsilon \in \sum^{0}</tex> называется элемент, для которого верно <tex>\alpha\epsilon=\epsilon\alpha=\alpha</tex>.
}}
{{Определение
|definition =
