Аноним

Проблема пустоты: различия между версиями

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Проблема пустоты''' (''[[Empty problem]]'') -
'''Проблема пустоты''' (''[[Empty problem]]'')
для заданного определенного типа описания языка
для заданного определенного типа описания языка
требуется установить,
требуется установить,
Строка 8: Строка 8:
''неразрешима'' для ''[[грамматика без ограничений|грамматик без ограничений]]''.
''неразрешима'' для ''[[грамматика без ограничений|грамматик без ограничений]]''.
==Литература==
==Литература==
[Ахо-Хопкрофт-Ульман],  
* Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. —  М.: Мир, 1979.
 
[Касьянов/95]
* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.