43
правки
Изменения
м
Нет описания правки
}}
'''Пустая цепочка''' - это цепочка, не содержащая ни одного символа. Эту цепочку обозначаемую <tex> \varepsilon </tex>, можно рассматривать как цепочку в любом алфавите. '''Длина цепочки''' - число символов в цепочке.
{{Определение
* <tex>\exists \varepsilon </tex> (нейтральный элемент), такой, что <tex>\alpha\varepsilon=\varepsilon\alpha=\alpha</tex>
Таким образом мы получаем '''свободный моноид слов'''.
Слово <tex>\alpha</tex> является '''префиксом''' <tex>\beta</tex>, если <tex>\beta = \alpha\gamma</tex> для некоторого <tex>\gamma</tex>.
