Изменения
Нет описания правки
{{Определение
|definition = '''Полусистема Туэ''' ('''ассоциативное исчисление''') (англ. ''semi-Thue system'') {{---}} это формальная система, определяемая алфавитом <tex>A</tex>
и конечным множеством подстановок вида <tex>\alpha_i\rightarrow \beta_i</tex>, где <tex>\alpha_i, \beta_i</tex> — слова из <tex>A</tex>.
}}
