генератор синтаксических анализаторов, совместимый с yacc

для bison версии 1.35, 25 февраля 2002
чарльз доннелли
ричард столлмен

• введение
• условия использования bison
• gnu general public license
  • preamble
  • terms and conditions for copying, distribution and modification
  • appendix: how to apply these terms to your new programs
• 2. принципы bison
  • 2.1 языки и контекстно-свободные грамматики
  • 2.2 от формальных правил к входному тексту bison
  • 2.3 семантические значения
  • 2.4 семантические действия
  • 2.5 положения
  • 2.6 выходной текст bison: файл анализатора
  • 2.7 этапы использования bison
  • 2.8 обзор схемы грамматики bison
• 3. примеры
  • 3.1 калькулятор обратной польской нотации
    • 3.1.1 объявления для rpcalc
    • 3.1.2 правила грамматики для rpcalc
    • 3.1.2.1 объяснение input
    • 3.1.2.2 объяснение line
    • 3.1.2.3 объяснение expr
    • 3.1.3 лексический анализатор rpcalc
    • 3.1.4 управляющая функция
    • 3.1.5 подпрограмма сообщения об ошибках
    • 3.1.6 запуск bison для создания анализатора
    • 3.1.7 компиляция файла анализатора
  • 3.2 калькулятор инфиксной нотации: calc
  • 3.3 простое восстановление после ошибок
  • 3.4 калькулятор с отслеживаием положений: ltcalc
    • 3.4.1 объявления ltcalc
    • 3.4.2 правила грамматики ltcalc
    • 3.4.3 лексический анализатор ltcalc.
  • 3.5 многофункциональный калькулятор: mfcalc
    • 3.5.1 объявления mfcalc
    • 3.5.2 правила грамматики mfcalc
    • 3.5.3 таблица символов mfcalc
  • 3.6 упражнения
• 4. файлы грамматики bison
  • 4.1 структура грамматики bison
    • 4.1.1 секция объявлений c
    • 4.1.2 секция объявлений bison
    • 4.1.3 секция правил грамматики
    • 4.1.4 секция дополнительного кода на c
  • 4.2 символы, терминальные и нетерминальные
  • 4.3 синтаксис правил грамматики
  • 4.4 рекурсивные правила
  • 4.5 определение семантики языка
    • 4.5.1 типы данных семантических значений
    • 4.5.2 несколько типов значений
    • 4.5.3 действия
    • 4.5.4 типы данных значений в действиях
    • 4.5.5 действия внутри правил
  • 4.6 отслеживание положений
    • 4.6.1 тип данных положений
    • 4.6.2 действия и положения
    • 4.6.3 действие по умолчанию для положений
  • 4.7 объявления bison
    • 4.7.1 имена типов лексем
    • 4.7.2 приоритет операций
    • 4.7.3 набор типов значений
    • 4.7.4 нетерминальные символы
    • 4.7.5 подавление сообщений о конфликтах
    • 4.7.6 начальный символ
    • 4.7.7 чистый (повторно входимый) анализатор
    • 4.7.8 обзор объявлений bison
  • 4.8 несколько анализаторов в одной программе
• 5. интерфейс анализатора на c
  • 5.1 функция анализатора yyparse
  • 5.2 функция лексического анализатора yylex
    • 5.2.1 соглашения о вызове yylex
    • 5.2.2 семантические значения лексем
    • 5.2.3 позиции лексем в тексте
    • 5.2.4 соглашения о вызове для чистых анализаторов
  • 5.3 функция сообщения об ошибках yyerror
  • 5.4 специальные возможности, используемые в действиях
• 6. алгоритм анализатора bison
  • 6.1 предпросмотренные лексемы
  • 6.2 конфликты сдвиг/свёртка
  • 6.3 приоритет операций
    • 6.3.1 когда необходим приоритет
    • 6.3.2 задание приоритета операций
    • 6.3.3 примеры приоритета
    • 6.3.4 как работает приоритет
  • 6.4 контекстно-зависимый приоритет
  • 6.5 состояния анализатора
  • 6.6 конфликты свёртка/свёртка
  • 6.7 загадочные конфликты свёртка/свёртка
  • 6.8 переполнение стека и как его избежать
• 7. восстановление после ошибок
• 8. обработка контекстных зависимостей
  • 8.1 семантическая информация в типах лексем
  • 8.2 лексическая увязка
  • 8.3 лексическая увязка и восстановление после ошибок
• 9. отладка вашего анализатора
• 10. вызов bison
  • 10.1 параметры bison
  • 10.2 переменные среды
  • 10.3 перекрёстный список параметров
  • 10.4 ограничения на расширения под dos
  • 10.5 вызов bison под vms
• a. символы bison
• b. глоссарий
• c. копирование настоящего руководства
  • c.1 gnu free documentation license
    • c.1.1 addendum: how to use this license for your documents
• указатель