3622
правки
Изменения
м
Нет описания правки
'''Замечание''': конкатенация двух последовательностей <tex> a^i b^j </tex> и <tex> a^k b^t </tex> аналогична операции конкатенации строк, только после её применения строку надо привести к виду <tex> a^{i + k} b^{j + t} </tex>, поэтому результат операции равен не конкретной строке, а целому [[Отношение эквивалентности#Классы эквивалентности | классу эквивалентности]].
Предположим, что данный моноид свободный. Это значит, что он изоморфен какому-то свободному моноиду над множество множеством <tex> M_S </tex>, то есть существует биективное отображение <tex> f \colon G \to M_S </tex>. Оно сохраняет ассоциативность операций, поэтому
<tex> f(ab) = f(a) ~\texttt{++}~ f(b) </tex>
