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