Изменения

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

Навигация