Примеры неразрешимых задач: однозначность грамматики

Материал из Викиконспекты
Версия от 13:29, 23 декабря 2010; 192.168.0.2 (обсуждение) (Новая страница: «{{Теорема |statement= Не существует алгоритма определяющего по произвольной грамматике являет…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Теорема:
Не существует алгоритма определяющего по произвольной грамматике является ли она однозначной.
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Примеры_неразрешимых_задач:_однозначность_грамматики&oldid=6202»