Создание синтаксического анализатора простого языка программирования — различия между версиями
Материал из Вики ИТ мехмата ЮФУ
Admin (обсуждение | вклад) (→Модуль синтаксического анализатора (парсера)) |
Admin (обсуждение | вклад) (→Модуль синтаксического анализатора (парсера)) |
||
Строка 127: | Строка 127: | ||
M ::= id | num | (E) | M ::= id | num | (E) | ||
Грамматика составлена так, что по ней можно составить ручной анализатор методом рекурсивного спуска. | Грамматика составлена так, что по ней можно составить ручной анализатор методом рекурсивного спуска. | ||
− | + | 4. Создать модуль, содержащий все узлы программы: ExprNode, AssignNode, CompNode и пр. | |
− | + | 5. Добавить семантические действия, строящие дерево программы с корнем root: ProgrNode |
Версия 00:22, 29 марта 2012
Модуль синтаксического анализатора (парсера)
// Распознавание программы на простом языке. Распознаватель грамматики (парсер)
{ Грамматика:
progr -> stlist
stlist -> st ; stlist | st
st -> assign | comp | cycl
assign -> id signa expr
signa -> := | += | -= | *=
expr -> id | num
comp -> begin stlist end
cycl -> cycle expr st
}
unit SimpleLangParser1;
interface
procedure Expr;
procedure Assign;
procedure StList;
procedure St;
procedure Comp;
procedure Cycle;
procedure Progr;
procedure error(message: string := '');
implementation
uses
System.Collections.Generic,
System.IO,
SimpleLangLexer1;
procedure Progr;
begin
StList
end;
procedure StList;
begin
St;
while Lex=lexSemicolon do
begin
NextLexem;
St;
end
end;
procedure St;
begin
case Lex of
lexBegin: Comp;
lexCycle: Cycle;
lexId: Assign;
else error('Ожидался оператор');
end;
end;
procedure Comp;
begin
NextLexem;
StList;
if Lex=lexEnd then
NextLexem
else error('Ожидалось end');
end;
procedure Cycle;
begin
NextLexem;
Expr;
St;
end;
procedure Assign;
begin
NextLexem;
if Lex in [lexAssign,lexAssignPlus,lexAssignMinus,lexAssignMult] then
NextLexem
else error('Ожидалось :=');
Expr;
end;
procedure Expr;
begin
if lex in [lexId,lexNum] then
NextLexem
else error('Ожидалось выражение');
end;
procedure error(message: string);
begin
var ss := System.IO.File.ReadLines(fname).Skip(LexRow-1).First(); // Строка row файла
writeln('Синтаксическая ошибка в строке ',LexRow,':');
writeln(ss);
writeln('^':LexCol-1);
if message<>'' then
writeln(message);
Done;
halt;
end;
end.
Основная программа:
uses SimpleLangLexer1,SimpleLangParser1;
begin
Init('progr.txt');
Progr;
if Lex=lexEot then
writeln('программа распознана правильно ')
else error('ожидался конец файла');
end.
Задания
- Добавить цикл for
- Добавить простые логические выражения вида x<0 (в лексический анализатор придется добавлять знаки отношений, а в expr - ветку id_or_num relop id_or_num)
- Добавить грамматику выражений
E ::= T A A ::= ε | + T A | - T A T ::= M B B ::= ε | * M B | / M B M ::= id | num | (E)
Грамматика составлена так, что по ней можно составить ручной анализатор методом рекурсивного спуска. 4. Создать модуль, содержащий все узлы программы: ExprNode, AssignNode, CompNode и пр. 5. Добавить семантические действия, строящие дерево программы с корнем root: ProgrNode