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