Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
_Разное / шп_тео.doc
Скачиваний:
2
Добавлен:
16.04.2013
Размер:
5.49 Mб
Скачать

Детерминированный мп-автомат

МП-автомат называется детерминированным, если для каждых либо

  1. содержит не более одного элемента, для каждого и , либо

  2. для всех и содержит не более одного элемента.

Язык, определяемый детерминированным автоматом, называется детерминированным КС-языком. Доказано, что каждая LR(k) грамматика порождает детерминированный КС-язык и каждый детерминированный КС-язык определяется LR(1) грамматикой.

21

Соседние файлы в папке _Разное