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