Изменения

'''Свободным моноидом''' (англ. ''free monoid'') <tex> M </tex> над множеством <tex> S </tex> <tex>(</tex>обозначается как <tex> M_S )</tex> называется моноид над множеством <tex> S^* </tex> {{---}} набором всевозможных элементов, полученных конечным числом применений ассоциативной операции к элементам исходного множества<tex>S</tex>.