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