577
правок
Изменения
Нет описания правки
* [[Разрешимые (рекурсивные) языки | Разрешимые языки]]
* [[Примеры неразрешимых задач: проблема соответствий Поста | Проблема соответствий Поста]]
== Источники информации ==
* [http://liacs.leidenuniv.nl/~hoogeboomhj/second/codingcomputations.pdf Hendrik Jan Hoogeboom "Undecidable Problems for Context-free Grammars".]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
[[Категория: Примеры неразрешимых задач]]
