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