Изменения

Неразрешимость задачи об эквивалентности КС-грамматик

160 байт добавлено, 23:34, 10 марта 2019

Нет описания правки

* [[Разрешимые (рекурсивные) языки | Разрешимые языки]]

* [[Примеры неразрешимых задач: проблема соответствий Поста | Проблема соответствий Поста]]

== Источники информации ==

* А. Маслов, Д. Стоцкий — Языки и автоматы. Издательство Мир, 1975

[[Категория: Теория вычислимости]]

36

правок