211
правок
Изменения
м
Нет описания правки
{{Определение
|definition =
'''Слово''' ('''цепочка''') {{---}} это конечная последовательность символов некоторого алфавита.
}}
* <tex>\exists \varepsilon : \alpha\varepsilon=\varepsilon\alpha=\alpha</tex>
Таким образом, мы получаем '''свободный [[Моноид|моноид ]] слов'''.
{{Определение
