}}
==Свойства== * <tex>\forall \alpha, \beta, \gamma. (\alpha\beta)\gamma=\alpha(\beta\gamma)</tex>* <tex>\forall \alpha, \beta. \alpha\varepsilon=\varepsilon\alpha=\alpha</tex> Таким образом, мы получаем Множество строк с операцией ''конкатенация'свободный ' образует [[Моноид|свободный моноид]] слов'''.
== Операции над языками ==
[[Категория: Теория формальных языков]]== Ссылки ==* [[Категорияhttp: Автоматы и регулярные языки]//www.google.ru/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CCsQFjAA&url=http%3A%2F%2Fehess.modelisationsavoirs.fr%2Fatiam%2Fbiblio%2FLothaire83-chap1.pdf&ei=UiV6UuvbAeaP4gSot4HwCA&usg=AFQjCNGUnEUG4oKbynqjDvd6NVMfSUuMJQ&sig2=GzMd4HvBNW2vYctSWDfvZQ&bvm=bv.55980276,d.bGE&cad=rjt M.Lothaire "Combinatorics on words"]
[[Категория: Теория формальных языков]]
[[Категория: Автоматы и регулярные языки]]
