bison

генератор синтаксических анализаторов, совместимый с 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
• указатель

этот документ был создан june, 7 2003 при помощи texi2html 1.57.