Занятие 4 по курсу МПК
Простой парсер выражений
Комплект для практического занятия скачиваем отсюда.
Он содержит .y и .lex файлы, создающие компилятор перевода выражения со скобками в обратную польскую бесскобочную запись.
Для уяснения содержимого .y и .lex файлов необходимо иметь в виду следующее: эти файлы неразрывно связаны друг с другом, и информация, определенная в одном файле, используется в другом.
Разберемся в содержимом этих файлов и в том, как их компилировать.
- Поскольку gplex и gppg теперь работают вместе, gplex следует запускать без ключа /noparser, а gppg - с ключом /gplex
- my.lex
{INTNUM} {return (int)Tokens.INTNUM;}
Для каждой лексемы обязательно следует возвращать целое значение, характеризующее тип лексемы.
- Tokens - перечислимый тип с полями, задаваемыми в myyacc.y. Он формируется автоматически по записи
%token INTNUM,REALNUM,ID
- Приведем для примера одно из правил в myyacc.y:
expr : expr PLUS T { Console.WriteLine("+"); }
| T {}
;
Здесь лексема PLUS определена в файле my.lex Обратим также внимание на то, что правила во второй секции myyacc.y разделяются пустой строкой и если правило состоит более чем из одного подправила, то оно обязательно должно завершаться символом ;
- Определим лексему PLUS в файле my.lex:
PLUS \+
%%
{PLUS} {return (int)Tokens.PLUS;}
В файле myyacc.y:
%token INTNUM,REALNUM,ID
- В файле myyacc.y:
F : INTNUM {Console.WriteLine($1);}
- В файле myyacc.y:
%union {
public int iVal;
public double dVal;
public string sVal;
}
%token <iVal> INTNUM
В файле my.lex:
{INTNUM} {
yylval.iVal = int.Parse(yytext);
return (int)Tokens.INTNUM;
}
Задания
- Разобраться в содержимом lex-файла
- Разобраться в содержимом и формате yacc-файла
- Добавить операции - /
- Добавить операцию % (остаток от целочисленного деления)
- Добавить в грамматику выражений в начале программы присваивания вида a=3;b=4; После всех присваиваний должно идти выражение. Выражение также может содержать указанные переменные: a=3;b=4;21*a+b
- Рассмотреть грамматику if then else и посмотреть на выдаваемую ошибку
- Рассмотреть модифицированную грамматику if then else и убедиться, что ошибки нет
