Изменения
Нет описания правки
* <tex>\exists </tex> нейтральный элемент <tex>\alpha\varepsilon=\varepsilon\alpha=\alpha</tex>
Таким образом мы получаем''свободный моноид слов''.
Слово <tex>\alpha</tex> является '''префиксом''' <tex>\beta</tex>, если <tex>\beta = \alpha\gamma</tex> для некоторого <tex>\gamma</tex>.
