• Пред.Страница   След.Страница   Раздел   Содержание

---

 

   3.4  Множество выбора.
 

  Другой класс грамматик, порождающих детерминированные языки, называется слаборазделенными грамматиками. Этот класс отличается от класса разделенных грамматик тем, что он допускает использование аннулирующих правил в схеме грамматики. Однако, не всякая разделенная грамматика с аннулирующими правилами относится к классу слаборазделенных грамматик. Чтобы сформулировать определение, позволяющее опознавать слаборазделенные  и LL(1) грамматики, нам потребуются новые понятия: множество ВЫБОР, функции ПЕРВ и СЛЕД .

 

  3.4.1 Функции  ПЕРВ, СЛЕД  и  множество ВЫБОР. 

Множество ВЫБОР строится для каждого правила и включает те терминальные символы, при появлении которых под читающей головкой распознаватель должен применять это правило.
Для определения множества ВЫБОР используются функции ПЕРВ и СЛЕД . Аргументом функции ПЕРВ может быть любая цепочка полного словаря µ, а значением функции ПЕРВ(µ) является множество терминальных символов, которые могут стоять на первом месте в цепочках, выводимых из цепочки µ.


---

Пред.Страница   След.Страница   Раздел   Содержание