333
правки
Изменения
Нет описания правки
}}
{{Теорема
|id=th2
|statement=
В заданной полусистеме Туэ задача вывода из слова <tex>\alpha </tex> слово <tex> \beta</tex> (word problem for semi-Thue systems) неразрешима.
|proof=
}}
== Источники ==
Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера
