36
правок
Изменения
Нет описания правки
* [[Разрешимые (рекурсивные) языки | Разрешимые языки]]
* [[Примеры неразрешимых задач: проблема соответствий Поста | Проблема соответствий Поста]]
== Источники информации ==
* А. Маслов, Д. Стоцкий — Языки и автоматы. Издательство Мир, 1975
[[Категория: Теория вычислимости]]