Yyparse что такое

Из стека печатаются только состояния; типы символов в стеке, и их значения, остаётся угадывать из контекста.
Если макрос YYPRINT не задан, тогда угадывать придётся и значения прочитанных токенов: бизон будет печатать только пустые скобки.

Конфликты в грамматике

В прошлый раз упомянули неоднозначные грамматики, допускающие для одного выражения несколько вариантов разбора.
Что скажет бизон, если попытаемся скомпилировать неоднозначную грамматику?
% <
#include
void yyerror( char *s) <
fprintf ( stderr , » %s \n » , s);
>
%>

[tyomitch@home ~]$ bison 4.y
4.y: conflicts: 16 shift/reduce

Когда из одного состояния грамматика допускает несколько продолжений, бизону непонятно, что именно выполнять. В нашем случае он колеблется между сдвигом и свёрткой. Можно исправить грамматику, как мы в прошлый раз сделали; а можно «подтолкнуть» бизона в нужную сторону, и намекнуть, что делать в случае конфликта. Стоит относиться к этому как к быстрому хаку: парсер начинает работать, но отлаживать «грамматику с намёками» становится сложнее.

Поскольку типичный источник конфликтов — арифметические выражения, то и намёки даются в виде указания приоритета операторов (выполнять умножение раньше сложения) и их ассоциативности (из операторов с равным приоритетом, который выполнять раньше). Чем ниже оператор в списке, тем выше приоритет. Операторы в одной строчке списка получают одинаковый приоритет.

% <
#include
void yyerror( char *s) <
fprintf ( stderr , » %s \n » , s);
>
%>

%%

Для правоассоциативных операторов есть директива %right .
Противоестественность хака с приоритетами можно оценить на примере двусмысленности if (1) if (2) foo(); else bar();
Чтобы она распарсилась привычным образом — if (1) < if (2) foo(); else bar(); >— нужно, чтобы приоритет else был выше, чем у ‘)’
Оба этих терминала тяжело назвать операторами, и тем более тяжело задать им «естественный» приоритет.
Зато это работает!

«Грамматика с намёками» компактнее однозначной и в исходном виде (короче вдвое), и в виде автомата (сэкономили одно состояние).

Даже в однозначной грамматике могут возникать конфликты, связанные с принципом работы магазинного автомата: во время выполнения каждого действия он видит только один следующий символ ввода. Например, грамматика

WORD: S1 'a' 'i' 'l' | S2 'a' 'l' 'e' ; S1: 's' ; S2: 's' ;

— однозначная, и ей соответствует всего два слова — sail и sale. Когда парсер сдвинул первую букву ‘s’ и видит после неё ‘a’, он не может сделать выбор, сворачивать S1 или S2 : правильная свёртка зависит от того, какая буква будет после ‘a’; но её автомат ещё не видит.
Это вторая причина, по которой парсер делают двухступенчатым: за счёт того, что лексер сжимает строки в токены и отбрасывает ненужные символы между токенами, LR-парсеру удаётся «дальше» заглядывать: не на одну букву, а на один токен вперёд.

Как это работает?

Как и у flex , ядро парсера — таблица переходов и небольшой цикл. Используется два параллельных стека: стек состояний yyssa и стек значений yyvsa — всё равно состояния и символы входят и выходят из стека всегда парами.

Как и в прошлый раз, символы, идентичные с точки зрения парсера, объединены в классы. В данном случае, классов 7, и они перечислены в файле .output . Массив static const unsigned char yytranslate[259] сопоставляет всем терминалам класс. (От 0 до 255 — обычные символы; 258 — объявленный нами терминал NUM ).

Таблицы переходов хитроумно объединены. В основной таблице хранятся описания действий: для сдвига (положительное число) — в какое состояние перейти; для свёртки (отрицательное) — по какому правилу свернуть.

static const unsigned char yytable[] = < 6, 7, 5, 8, 9, 10, 11, 1, 12, 13 >;

Удивительно, что таблица не только одномерная, но даже элементов в ней меньше, чем наших состояний (их 14).
Трюк в том, что индекс первого действия для каждого состояния хранится в отдельной таблице:

#define YYPACT_NINF -5 static const yysigned_char yypact[] = < 4, -5, 2, -4, -3, -5, 4, 4, 5, 6, -3, -3, -5, -5 >;

YYPACT_NINF означает, что состоянию не соответствует ни один элемент yytable ; иначе говоря, выполняемое действие не зависит от входного символа.
Действия по умолчанию для каждого состояния хранятся в другой отдельной таблице:

static const unsigned char yydefact[] = < 0, 6, 0, 2, 3, 1, 0, 0, 0, 0, 4, 5, 7, 8 >;

Не зависеть от входного символа может только выполнение свёртки, поэтому значения в yydefact — номера правил грамматики, по которым нужно сворачивать.

По индексу из yypact[n] хранится действие для состояния n и для класса символов 0. Действие для класса символов k хранится в yytable[yypact[n]+k] ; поэтому в yypact могут быть отрицательные индексы — это лишь «база», к которой будет прибавляться номер класса.

Чтобы проверить, к которому символу относится каждое действие в yytable , есть ещё одна таблица:

static const unsigned char yycheck[] = < 4, 5, 0, 6, 7, 6, 7, 3, 3, 3 >;

Что мы видим? yytable[0] относится к символам класса 4, yytable[1] к символам класса 5, и так далее.
Попробуем найти какое-нибудь действие, например приведённые выше:

. state 7 4 EXPR: EXPR '-' . TERM NUM shift, and go to state 1 TERM go to state 11 state 8 6 TERM: TERM '*' . NUM NUM shift, and go to state 12 .

Класс терминала NUM — 3.
Ищем первый сдвиг: yytable[yypact[7]+3]==yytable[4+3]==1 (и действительно, yycheck[yypact[7]+3]==3 )
Второй сдвиг: yytable[yypact[8]+3]==yytable[5+3]==12 (и действительно, yycheck[yypact[7]+3]==3 )

Аналогичным образом побита на три массива таблица «go to», которая задаёт, в какое состояние нужно перейти после свёртки.

Код собственно парсера: (неинтересные куски вырезаны, а интересные прокомментированы)
yynewstate :
*++yyssp = yystate; // кладём в стек текущее состояние

yyn = yypact[yystate]; // индекс первого действия
if (yyn == YYPACT_NINF)
goto yydefault; // не зависит от входного символа

yychar = yylex(); // читаем входной символ
yytoken = yytranslate[yychar]; // определяем класс
yyn += yytoken; // индекс внутрь yytable
if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
goto yydefault; // нет подходящего действия
yyn = yytable[yyn];

if (yyn yyn = -yyn;
goto yyreduce;
>

*++yyvsp = yylval; // сдвигаем
yystate = yyn; // следующее состояние
goto yynewstate;

yydefault :
yyn = yydefact[yystate];
if (yyn == 0 ) // ошибка синтаксиса:
goto yyerrlab; // ни одно действие не подошло,
// и нет действия по умолчанию
yyreduce :
yylen = yyr2[yyn]; // длина правой части правила

yyval = yyvsp[ 1 -yylen]; // по умолчанию: унаследовать $1

// действия при свёртке:
// вместо $-тегов бизон подставил yyval слева и yyvsp[] справа

yyvsp -= yylen; // удаление из стека
yyssp -= yylen;

*++yyvsp = yyval; // кладём свежесвёрнутую переменную

yyn = yyr1[yyn]; // номер переменной по номеру правила

// вычисление следующего состояния после свёртки
yystate = yypgoto[yyn — YYNTOKENS] + *yyssp;
if ( 0 yystate = yytable[yystate];
else
yystate = yydefgoto[yyn — YYNTOKENS];

goto yynewstate;

Вновь видим: весь парсер, вместе с вычислением выражения, уложился в пару страниц кода; да и то, его треть — мудрёный поиск по сжатым таблицам.

В следующий раз займёмся парсингом игрушечного языка программирования.
Достоинство бизона и ему подобных в том, что от усложнения языка вырастут в парсере только таблицы и свитч с действиями при свёртке, скопированными из .y -файла.
Весь остальной код парсера универсален: никаких спагетти, никаких рекурсивных функций, вызывающих друг друга в хитрых комбинациях. Правила грамматики действительно компилируются, а не обрамляются в синтаксис языка высокого уровня.

Yyparse что такое

Анализатор Bison — это на самом деле функция на C, называющаяся yyparse . Здесь мы опишем соглашения по интерфейсу yyparse и других необходимых ей функций.

Имейте в виду, что для своих внутренних целей анализатор использует множество идентификаторов C, начинающихся с `yy’ и `YY’ . Если вы используете такой идентификатор (кроме тех, что описаны в настоящем руководстве) в действии или дополнительном коде на C в файле грамматики, вероятно, вы столкнётесь с неприятностями.

Вы вызываете функцию yyparse для запуска анализа. Эта функция читает лексемы, выполняет действия, и в конце концов завершает работу, когда встречает конец входного текста или сталкивается с невосстановимой синтаксической ошибкой. Вы можете также написать действие, которое укажет yyparse завершить работу немедленно, без продолжения чтения.

Если разбор завершён успешно (возврат вызван концом входного текста), yyparse возвращает значение 0.

Значение 1 возвращается, если разбор не удался (возврат вызван синтаксической ошибкой).

В действии вы можете потребовать немедленного возврата из yyparse , используя следующие макросы: YYACCEPT Немедленный возврат со значением 0 (сообщение об удачном разборе). YYABORT Немедленный возврат со значением 1 (сообщение об ошибке).

Функция лексического анализатора yylex распознаёт лексемы во входном потоке и передаёт их анализатору. Bison не создаёт эту функцию автоматически, вы должны написать её так, чтобы yyparse могла вызывать её. Эту функцию иногда называют лексическим сканером.

В простых программах yylex часто определяется в конце файла грамматики Bison. Если yylex определена в отдельном исходном файле, вам нужно сделать доступными там макроопределения типов лексем. Для этого используйте параметр `-d’ при запуске Bison, чтобы он записал эти макроопределения в отдельный файл заголовка ` имя .tab.h’ , который вы можете включить в другие исходные файлы, которым он нужен. См. раздел 10. Вызов Bison.

Значение, возвращаемое yylex должно быть числовым кодом типа только что встреченной лексемы, или 0 для обозначени конца входного текста.

Если в правилах грамматики на лексему ссылаются по имени, это имя становится в файле анализатора макросом C, определением которого будет числовой код, соответствующий этому типу лексемы. Таким образом, yylex может использовать для обозначения типа это имя. См. раздел 4.2 Символы, терминальные и нетерминальные.

Если в правилах грамматики на лексему ссылаются с помощью однолитерной константы, числовой код этой литеры также является кодом типа лексемы. Таким образом yylex может просто вернуть код этой литеры. Нулевая литера не должна использоваться таким образом, потому что её код — ноль, означающий конец входного текста.

Приведём пример, иллюстрирующий это:

int yylex (void) < . if (c == EOF) /* Проверка конца файла. */ return 0; . if (c == '+' || c == '-') return c; /* Полагаем, что тип лексемы `+' -- '+'. */ . return INT; /* Вернуть тип лексемы. */ . >

Этот интерфейс разрабатывался так, чтобы выход утилиты lex мог быть без изменений использован как определение yylex .

• Если грамматика определяет символические имена лексем как псевдонимы строковых лексем, yylex может использовать эти символические имена как и все остальные. В этом случае использование строковых лексем в файле грамматики не окажет влияния на yylex .
• yylex может найти многолитерную лексему в таблице yytname . Индекс лексемы в этой таблице — это код типа лексемы. Имя многолитерной лексемы записывается в yytname в виде: двойная кавычка, литеры лексемы, вторая двойная кавычка. Литеры лексемы никаким образом не экранируются, они дословно переносятся в содержимое строки в таблице. Приведём код поиска лексемы в yytname , полагая, что литеры лексемы находятся в массиве token_buffer .

В обычном (не повторно входимом) анализаторе семантические значения лексем должны помещаться в глобальную переменную yylval . Если вы используете единственный тип данных для семантических значений, yylval имеет этот тип. Так, если этот тип int (по умолчанию), вы можете написать в yylex :

. yylval = value; /* Поместить значение на вершину стека Bison. */ return INT; /* Вернуть тип лексемы. */ .

Если вы используете множественные типы данных, тип yylval — объединение типов, полученное из объявления %union (см. раздел 4.7.3 Набор типов значений). Так, если вы сохраняете значение лексемы, вы должны использовать правильный элемент объединения. Если объявление %union выглядит так:

%union

то код в yylex может выглядеть так:

. yylval.intval = value; /* Поместить значение на вершину */ /* стека Bison. */ return INT; /* Вернуть тип лексемы. */ .

Если вы используете в действиях `@ n ‘ -свойства (см. раздел 4.6 Отслеживание положений) для отслеживания положений лексем и групп в тексте, ваша функция yylex должна предоставить эту информацию. Функция yyparse ожидает, что положение только что разобранной лексемы в тексте находится в глобальной переменной yylloc . Таким образом, yylex должна поместить в эту переменную правильные данные.

По умолчанию значение yylloc — это структура, и вам нужно только проинициализировать её элементы, которые вы собираетесь использовать в действиях. Эти четыре элемента называются, first_line , first_column , last_line и last_column . Отметим, что использование этих свойств делает анализатор заметно более медленным.

Тип данных yylloc называется YYLTYPE .

Если вы используете объявление Bison %pure_parser , требующее создания чистого, повторно входимого анализатора, глобальные переменные взаимодействия yylval и yylloc использовать нельзя (см. раздел 4.7.7 Чистый (повторно входимый) анализатор). В таких анализаторах эти две глобальные переменные замещаются указателями, передаваемыми в качестве аргументов функции yylex . Вы должны объявить их, как здесь показано, и передавать информацию назад, помещая её по этим указателям.

int yylex (YYSTYPE *lvalp, YYLTYPE *llocp) < . *lvalp = value; /* Поместить значение на вершину стека Bison. */ return INT; /* Вернуть тип лексемы. */ . >

Если файл грамматики не использует конструкции `@’ для ссылок на позиции в тексте, тип YYLTYPE не будет определён. В этом случае опустите второй аргумент, yylex будет вызываться только с одним аргументом.

Если вы используете повторно входимый анализатор, вы можете (необязательно) передавать ему информацию о дополнительных параметрах повторно входимым способом. Для этого определите макрос YYPARSE_PARAM как имя переменной. Это изменит функцию yyparse чтобы она принимала один аргумент с этим именем типа void * .

При вызове yyparse передайте адрес объекта, приведя его к типу void * . Действия грамматики могут ссылаться на сожержимое объекта, приводя значение указателя обратно к его правильному типу, и затем разыменовывая его. Приведём пример. Напишите в анализаторе:

%< struct parser_control < int nastiness; int randomness; >; #define YYPARSE_PARAM parm %>

Затем вызовите анализатор следующим образом:

struct parser_control < int nastiness; int randomness; >; . < struct parser_control foo; . /* Поместить правильные данные в foo. */ value = yyparse ((void *) &foo); . >

В действиях грамматики используйте для обращения к данным выражения наподобие следующего:

((struct parser_control *) parm)->randomness

Если вы хотите передать данные дополнительных параметров функции yylex , определите макрос YYLEX_PARAM тем же способом, что и для YYPARSE_PARAM , как показано ниже:

%< struct parser_control < int nastiness; int randomness; >; #define YYPARSE_PARAM parm #define YYLEX_PARAM parm %>

Затем вам следует определить yylex , чтобы она принимала дополнительный аргумент — значение parm (всего будет два или три аргумента, в зависимости от того, передаётся ли аргумент типа YYLTYPE ). Вы можете объявить аргумент как указатель на правильный тип объекта, или же объявить его как void * и получать доступ к содержимому как показано выше.

Вы можете использовать `%pure_parser’ и потребовать создания повторно входимого анализатора, не используя при этом YYPARSE_PARAM . Тогда вам следует вызывать yyparse без аргументов, как обычно.

Анализатор Bison обнаруживает ошибку разбора или синтаксическую ошибку каждый раз, когда читает лексему, которая не может удовлетворять никакому синтаксическому правилу. Действие в грамматике может также явно сообщить об ошибке, используя макрос YYERROR (см. раздел 5.4 Специальные возможности, используемые в действиях).

Анализатор Bison рассчитывает сообщить об ошибке, вызывая функцию сообщения об ошибке yyerror , которую должны предоставить вы. Она вызывается функцией yyparse каждый раз при обнаружении синтаксической ошибки, и принимает один аргумент. В случае ошибки разбора это обычно строка «parse error» .

Если вы определите макрос YYERROR_VERBOSE в секции объявлений Bison (см. раздел 4.1.2 Секция объявлений Bison), Bison будет давать более подробные и обстоятельные строки сообщений об ошибках, вместо обычного «parse error» . Не имеет значения, какое определение вы используете для YYERROR_VERBOSE , только то, определили ли вы его.

Анализатор может обнаружить ещё один тип ошибки — переполнение стека. Это происходит, когда входной текст содержит конструкции слишком большой глубины вложенности. Маловероятно, что вы столкнётесь с этим, поскольку анализатор Bison расширяет свой стек автоматически до очень больших пределов. Но если переполнение всё же происходит, yyparse вызывает обычным образом yyerror , за исключением того, что аргументом будет строка «parser stack overflow» .

Следующего определения достаточно для простых программ:

void yyerror (char *s)

После возвращения из yyerror в yyparse последняя попытается произвести восстановление после ошибки, если в грамматике вы написали подходящие правила восстановления после ошибок (см. раздел 7. Восстановление после ошибок). Если восстановление невозможно, yyparse немедленно завершит работу, вернув 1.

Переменная yynerrs содержит число обнаруженных до сих пор синтаксических ошибок. Обычно эта переменная глобальная, но если вы требуете создания чистого анализатора (см. раздел 4.7.7 Чистый (повторно входимый) анализатор), это локальная переменная, к которой могут иметь доступ только действия.

Ниже представлена таблица конструкций Bison, переменных и макросов, которые могут быть полезны в действиях. `$$’ Играет роль переменной, содержащей семантическое значение группы, собираемой текущим правилом. См. раздел 4.5.3 Действия. `$ n ‘ Играет роль переменной, содержащей семантическое значение n -го компонента текущего правила. См. раздел 4.5.3 Действия. `$< тип_альт >$’ Аналогична $$ , но задаёт альтернативу тип_альт в объединении, заданном объявлением %union . См. раздел 4.5.4 Типы данных значений в действиях. `$ < тип_альт >n ‘ Аналогична n , но задаёт альтернативу тип_альт в объединении, заданном объявлением %union . См. раздел 4.5.4 Типы данных значений в действиях. `YYABORT;’ Немедленно завершает работу yyparse , сообщая об ошибке. См. раздел 5.1 Функция анализатора yyparse . `YYACCEPT;’ Немедленно завершает работу yyparse , сообщая об удачном разборе. См. раздел 5.1 Функция анализатора yyparse . `YYBACKUP ( лексема , значение );’ Отмена сдвига лексемы. Этот макрос допустим только в правилах, которые выполняют свёртку единственного значения, и только когда нет предпросмотренной лексемы. Он устанавливает для предпросмотренной лексемы тип лексема и семантическое значение значение . Затем он отбрасывает значение, которое должно быть свёрнуто по этому правилу. Если макрос используется, когда его применение недопустимо, как например, когда уже есть предпросмотренная лексема, он сообщает о синтаксической ошибке сообщением `cannot back up’ и производит обычное восстановление после ошибки. В любом случае оставшаяся часть правила не выполняется. `YYEMPTY’ Значение, помещаемое в yychar , когда там нет предпросмотренной лексемы. `YYERROR;’ Немедленно вызывает синтаксическую ошибку. Этот оператор запускает восстановление после ошибки, как если бы ошибку обнаружил сам анализатор, и не выводит никакого сообщения. Если вы хотите вывести сообщение об ошибке, перед оператором `YYERROR;’ вызовите явно yyerror . См. раздел 7. Восстановление после ошибок. `YYRECOVERING’ Этот макрос заменяет выражение, имеющее значение 1 когда анализатор выполняет восстановление после синтаксической ошибки, и 0 всё остальное время. См. раздел 7. Восстановление после ошибок. `yychar’ Переменная, содержащая текущую предпросмотренную лексему (в чистом анализаторе это на самом деле локальная для yyparse переменная). Когда предпросмотренной лексемы нет, в неё помещается значение YYEMPTY . См. раздел 6.1 Предпросмотренные лексемы. `yyclearin;’ Отбросить текущую предпросмотренную лексему. Это полезно, прежде всего, в правилах обработки ошибок. См. раздел 7. Восстановление после ошибок. `yyerrok;’ Немедленно взобновляет создание сообщений об ошибках для последующих синтаксических ошибок. Это полезно, прежде всего, в правилах обработки ошибок. См. раздел 7. Восстановление после ошибок. `@$’ Играет роль структурной переменной, содержащей информацию о позиции в тексте группы, создаваемой текущим правилом. См. раздел 4.6 Отслеживание положений. `@ n ‘ Играет роль структурной переменной, содержащей информацию о позиции в тексте n -го компонента текущего правила. См. раздел 4.6 Отслеживание положений.

Разработка компиляторов и интерпретаторов

Принципы работы BISON, интеграция BISON и FLEX, обработка синтаксических ошибок

По описанию BISON генерирует автомат с магазинной памятью. В стеке хранятся символы грамматики и ассоциированные с ними значения, полученные в процессе разбора или из лексического анализатора (токены). Работа автомата определяется набором таблиц, связывающих текущее состояние стека и очередной входной токен с действием автомата. Возможно только два варианта действия:

• свёртка (reduce) – применение одного из правил грамматики и превращение нескольких верхних символов в нетерминальный символ-результат (при этом выполняется код, указанный после правила);
• сдвиг (shift) – помещение токена на стек и ввод следующего токена.

Первоначально стек пуст. После завершения разбора в стеке должен находиться стартовый символ грамматики.

Если написанный вами набор правил некорректен, возможны два вида конфликтов:

• свёртка/свёртка – есть несколько правил, которые можно применить для некоторой последовательности символов в стеке;
• сдвиг/свёртка – существует как правило, которое можно применить, так и правило, в котором после последовательности символов из первого правила есть другие символы.

От конфликтов свёртка/свёртка нужно обязательно избавляться, но небольшое количество конфликтов сдвиг/свёртка может присутствовать из-за неоднозначности синтаксиса языка. Например, следующие правила дадут 1 конфликт сдвиг/свёртка:

operator : | IF expr THEN operator | IF expr THEN operator ELSE operator | IDENT '=' expr ;

При наличии такого конфликта всегда выполняется сдвиг, поэтому конструкция «if a then if b then c=x else c=y» интерпретируется как «if a then «, а не как «if a then else c=y». Обычно количество таких конфликтов не должно превышать 1-2, и чтобы BISON не давал предупреждений при обработке правил для подобных конструкций, применяется опция %expect n, где n – ожидаемое количество конфликтов сдвиг/свёртка.

Из описания BISON генерирует функцию yyparse(), которая для получения токена вызывает функцию yylex(). Функция yylex() должна вернуть тип лексемы (целое число), а ассоциированное с ней значение поместить в глобальную переменную yylval (или в параметр функции, если установлена опция %define api.pure full). Именованные константы для токенов определяются в описании для BISON с помощью %token, и чтобы они стали доступны в программе, сгенерированной FLEX, необходимо создать заголовочный файл и подключить его в описании лексического анализатора. Для этого в командной строке при генерации необходимо указать ключ -d:

bison -oy.tab.cpp -d my.grm

Первый ключ -o указывает имя файла для сгенерированного модуля, и в зависимости от расширения выходного файла будет создан заголовочный файл y.tab.hpp или y.tab.h. В заголовочный файл также попадает объявление типа-объединения и глобальной переменной yylval. Но информация о соответствии токенов с полями типа-объединения не будет доступна. Поэтому при помещении значения токена в yylval необходимо указывать имя поля явно.

По умолчанию функции yyerror передается сообщение «syntax error». Для более подробной информации нужно указать опцию

%define parse.error verbose

По умолчанию функция yyparse завершает разбор после обнаружения синтаксической ошибки, но можно продолжить анализ входного текста, чтобы найти другие ошибки или выполнить следующие команды в интерактивном интерпретаторе. Для этого используется специальный символ error. Пи ошибке разбора вызывается функция yyerror и выполняется поиск подходящего правила с error, из стека разбора удаляются верхние элементы, пока его состояние не будет соответствовать состоянию, при котором возможно добавление символа error, затем будут пропущены входные токены, пока не будет найден токен, указанный после символа error, или токен, который может встретиться после символа-результата правила с error. После применения правила для ошибки разбор будет продолжен, но новые сообщения об ошибке не выводятся, пока не будет выполнена хотя бы одна свёртка без error. Вы можете контролировать количество обнаруженных ошибок в функции yyerror. В действии для правила с error можно использовать вспомогательные макросы (всегда в паре!): yyerrok (обработка ошибки завершена и можно сообщать о следующей синтаксической ошибке) и yyclearin (перейти к следующему токену).

Пример программы
Лексический анализатор calc.lex:

%option noyywrap interactive bison % < #include "y.tab.h" #include int findid(const char *); %> %% [a-zA-Z][a-zA-Z0-9_]* < yylval=findid(yytext);8 return IDENT; >[0-9]+ < sscanf(yytext,"%d",&yylval); return NUMBER; >[\t ] ; \n|. return yytext[0]; %%

Синтаксический анализатор calc.grm:

%start program %token NUMBER "число" IDENT "идентификатор" %left '+' '-' %left '*' '/' %left UMINUS %define parse.error verbose % < #include int mem[1000]; void yyerror(const char *); int yylex(); %> %% program: | program operator '\n' ; operator: IDENT '=' expr < mem[$1]=$3; printf("%d\n",mem[$1]);>| expr < printf("%d\n",$1);>| error ; expr: expr '+' expr < $$ = $1+$3; >| expr '-' expr < $$ = $1-$3; >| expr '*' expr < $$ = $1*$3; >| expr '/' expr < $$ = $1/$3; >| '-' expr %prec UMINUS < $$ = -$2; >| '(' expr ')' < $$ = $2; >| NUMBER < $$ = $1; >| IDENT < $$ = mem[$1]; >;

Вспомогательные функции calc.cpp: