333
правки
Изменения
Нет описания правки
* [[wikipedia:Semi-Thue_system | Wikipedia {{---}} Semi-Thue system]]
*[http://problem24.wordpress.com/2011/07/07/lecture-on-undecidability-7-the-word-problem-for-thue-systems Undecidability of the word problem for semi-Thue systems ]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]