Изменения

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

513 байт добавлено, 20:03, 10 марта 2019

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

}}

== См. также ==

* [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора | Контекстно-свободные грамматики]]

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

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

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

36

правок