Содержание
- 2. СИНТАКСИЧЕСКИЙ АНАЛИЗ Дерево порождения для КС-грамматики Все порождающие правила имеют вид: A → γ, где A
- 3. Однозначность грамматики и языка Левое каноническое порождение – если на каждом очередном шаге порождения дерево достраивается
- 4. Автомат с магазинной памятью (МПА) МПА задается семеркой множеств: {Σ, Q, q0, F, Γ, Z0, δ},
- 5. Действие в правиле перехода определяется входным символом, верхним символом магазина и текущим состоянием. Действие может содержать
- 6. До начала функционирования МПА в магазине имеется начальный магазинный символ, МПА находится в начальном состоянии. На
- 7. МПА будет детерминированным (ДМПА), если на каждом шаге возможно применение не более одного правила перехода. Если
- 8. LL-анализ КС-грамматики автоматом с магазинной памятью LL-анализ – цепочка символов читается слева направо, дерево порождения неявно
- 9. Правила перехода δ для МПА задаются следующим образом. Для каждого порождающего правила вида A → γ
- 10. Теорема. НМПА, реализующий LL-анализ некоторой КС-грамматики, допускает входную цепочку тогда и только тогда, когда цепочка порождается
- 11. Пример. Грамматика простых арифметических выражений (S – начальный нетерминал, знаки + , * , скобки, переменная
- 13. На рисунке изображено неявно строящееся при анализе дерево порождения цепочки: a + a * a.
- 14. Пример. Грамматика, эквивалентная грамматике простых арифметических выражений: S → S + S | S * S
- 15. Детерминированный LL-анализ Левая рекурсия и ее устранение Правило порождения вида A → Aγ леворекурсивное. Тогда должно
- 16. Косвенная рекурсия, когда имеется совокупность правил вида: A → B1γ1, B1 → B2γ2, …, Bn →
- 17. Пример. Грамматика простых арифметических выражений: S → S + T | T T → T *
- 18. Нестрогая нормальная форма Грейбах Нормальная форма Грейбах: правые части всех порождающих правил начинаются с терминала. Нестрогая
- 19. Пример. Грамматика простых арифметических выражений с устраненной левой рекурсией: S → TU U → + TU
- 20. Детерминированный LL-анализ КС-грамматика в нестрогой нормальной форме Грейбах допускает детерминированный LL-анализ, если для каждой группы порождающих
- 21. Преобразование порождающих правил: факторизация если в грамматике есть правила вида: A → aβω1 | aβω2 |
- 22. Построение LL(1)-анализатора Пусть входная цепочка символов всегда заканчивается символом-ограничителем ┴. Таблица LL(1)-анализатора: столбцы помечены терминальными символами
- 23. На каждом шаге анализатор проверяет, допустим ли очередной входной символ, и если да, то выполняет одно
- 24. Пример. Грамматика простых арифметических выражений, преобразованная к нестрогой нормальной форме Грейбах: S → (S)VU | aVU
- 25. Пример. Анализ цепочки a + a * a ┴
- 26. На рисунке изображено неявно строящееся при анализе дерево порождения цепочки: a + a * a.
- 28. Скачать презентацию