LR(1) с помощью GNU Bison

Я yacc (форк чего является bison) уже подзабыл - давно в студенческие годы только сталкивался, но думаю у тебя проблема в этом:

S: E'\n' { printf("Правильная строка\n"); }
;

Пробовал, без него так:

$ ./a.out 
e+c
Правильная строка
syntax error

Судя по докам токены должны быть без кавычек. Плюс, у тебя не объявлен приоритет операций. Добавь

%left '+'             
%left '*'  

И скобки из токенов убери.

Возможно придется изменить лексический анализатор (попробуй что нибудь поделать). Домой приду - посмотрю сои старые работы, может помогу чем.

Спасибо, с приоритетом действительно надо было подправить, но вот с повторным вводом пока всё то же самое. И скобки убрал из токенов, да.

А у вас тут нет второго раза. Работает всё ещё первый раз, т.к. выхода из yyparse() ведь не произошло.

Чтобы работало так, как вам надо (я включил режим телепата), уберите '\n' в .y-файле, чтобы было так:

S: E { printf("Правильная строка\n"); }

А в функции yylex() при c == '\n' возвращайте 0, как при EOF. Затем в main() вызывайте yyparse() в бесконечном цикле, с проверкой возвращаемого значения на ошибку.

И тогда printf() лучше тоже вызывать снаружи парсера, из main(). А если вы хотите одним парсером парсить сразу несколько строк, тогда придётся это явно задать в нём:

MS: S
   |S MS
;
S: E'\n' { printf("Правильная строка\n"); }
;

Спасибо большое, теперь всё работает как надо. Честно говоря, понимал, что проблема скорее всего в main, но не понимал, как с ним надо работать, потому что оно возвращает yyparse() (из загугленого кода, само собой), и не понимал, как его «возвращать» в бесконечном цикле.

В общем, решил уж дотюнить это задание до конца, осталась одна проблема:

$ ./a.out 
e+cd
Ошибка: неправильная строка
Ошибка: неправильная строка

#include <stdio.h>
#include <ctype.h>
#include «bison.tab.hh»
int yyparse(void); 

int yyerror (const char *s)  // Called by yyparse on error 
{
    // printf («%s\n», s);
}

int yylex(void) {
	int c;
	while ( (c = getchar()) == ' ' || c == '\t' );
	if (c == EOF || c == '\n')
		return 0;
	return c;
}

int main (void)
{
	while (1) {
		if (!yyparse())
			printf(«Правильная строка\n»);
		else {
			printf(«Ошибка: неправильная строка\n»);
			continue;
		}
	}
}

Это проблема уже в yylex(): он у вас сейчас не знает, правильная строка или неправильная, а просто выдаёт байты. yyparse() первый раз вывалился после получения 'd', а второй раз - после получения '\n'. Чтобы этого избежать, нужно «переинициализировать» лексер, т.е. в вашем случае после неудачного yyparse() дочитывать оставшиеся до '\n' или до EOF байты, если '\n' или EOF не были считаны в последний раз.

Но если я читаю байты в yylex, который про неправильность строки не знает, а проверяю строку в main, то как мне в main дочитать строку, которая уже читается в yylex?

И я всё же не понял эту концепцию. Сколько раз вызывается yyparse() за одну итерацию цикла? Логика подсказывает, что один. Практика подсказывает, что по разу на каждый байт. В общем, я запутался окончательно :(

Проще всего ввести глобальную переменную - последнее возвращенное yylex()'ом значение. И сделать функцию yylex_reinitialize(), которая будет вызывать getchar() до тех пор, пока не встретит '\n' или EOF, но только в том случае, если глобальная переменная не равна 0. Эту новую функцию нужно вызывать после неуспешного yyparse(). Так вы вычитаете весь ненужный остаток строки, тем самым подготовив yylex() к обработке новой строки.

Вставьте отладочный printf в yylex(), чтобы всё стало понятно. Просто печатайте каждый прочитанный байт.