Программная реализация алгоритмов лексического и синтаксического анализа

@Blekzet · Регистрация: 21.12.2015

Студворк — интернет-сервис помощи студентам

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

Упрощенная грамматика получилась такой (может есть ошибки, но преподаватель вроде сказал что нормально)

Кликните здесь для просмотра всего текста

<do statement> ::= do <statement> while ( <expression> ); | do {<statement>} while ( <expression> );

<statement> ::= <assignment> | <preincrement expression> | <postincrement expression> | <predecrement expression> | <postdecrement expression>

<predecrement expression> ::= -- <expression name>; <statement> | -- <expression name> ;

<preincrement expression> ::= ++ <expression name>; <statement> | ++ <expression name>;

<postdecrement expression> ::= <expression name> --; <statement> | <expression name> --;

<postincrement expression> ::= <expression name> ++; <statement> | <expression name> ++;

<expression name> ::= <symbol> | <expression name> <symbol>

<assignment> ::= <expression name> <assignment operator> <expr>; <statement> | <expression name> <assignment operator> <expr>;

<expression> ::= <expression name> <comparisons operator> <expression name> | <expression name> <comparisons operator> <num>

<comparisons operator> ::= == | >= | <= | > | < | !=

<assignment operator> ::= = | *= | /= | %= | += | -=

<expr> ::= <term > | <expr> + <term > | <expr> - <term >

<term > ::= <expression name> | <num> | <term > * <num> | <term > / <num>

<num> ::= <digit> | <num> <digit>

<digit> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

<symbol> ::= a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z

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

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
grammar newEmptyCombinedGrammar1;
DoStatement 
    :   'do' '{' Statement '}' 'while' (Expression)';';
Statement
    :   Assigment | PreincrementExpression | PostincrementExpression | PredecrementExpression | PostdecrementExpression;
PredecrementExpression 
    :   '--'ExpressionName';' Statement | '--'ExpressionName';';
 
PreincrementExpression 
    :   '++'ExpressionName';' Statement | '++'ExpressionName';';
 
PostdecrementExpression 
    :   ExpressionName'--'';' Statement | ExpressionName'--'';';
 
PostincrementExpression 
    :    ExpressionName'++'';' Statement | ExpressionName'++'';';
 
ExpressionName 
    :    Symbol | ExpressionName Symbol;
 
Assigment 
    :    ExpressionName AssignmentOperator Expr';'  Statement | ExpressionName AssignmentOperator Expr';';  
 
Expression 
    :    ExpressionName ComparisonsOperator ExpressionName | ExpressionName ComparisonsOperator Num;
 
ComparisonsOperator 
    :   '==' | '>=' | '<=' | '>' | '<' | '!=';
 
AssignmentOperator 
    :    '=' | '*=' | '/=' | '%=' | '+=' | '-=';
 
Expr 
    :    Term  | Expr  '+' Term  | Expr '-' Term;  
 
Term
    :    ExpressionName | Num | Term  '*'  Num | Term '/' Num;
 
Num 
    :   Digit  | Num  Digit; 
 
Digit 
    :   '0'..'9'+;
    
Symbol 
          :         'a'..'z';

@rerf2010rerf · 06.05.2018, 10:20

Если antlr разрешил, так там и делать то ничего не надо, он сам все сделает. В чем у тебя конкретно затруднения?

@Blekzet · 06.05.2018, 12:45 **[ТС]**

rerf2010rerf, Левая рекурсия....

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
expressionName 
    :   Symbol 
    |   expressionName Symbol;
expr 
    :    term  
    |   expr  '+' term  
    |   expr '-' term;  
 
term
    :    expressionName 
    |   num 
    |   term  '*'  expr 
    |   term '/' expr;
 
num 
    :   Digit  
    |   num Digit;

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

@0x10 · 08.05.2018, 17:21

Сообщение от Blekzet

Левая рекурсия

С этим разобрались в соседней теме.

Сообщение от Blekzet

Преподаватель разрешил использование ANTLR

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

@Blekzet · 08.05.2018, 17:34 **[ТС]**

0x10, там задача более комплексная... это я часть с грамматикой не понимал (А есть пример подключения парсера и лексера к проэкру? (Ну типа как правильно описать ловлю ошибок, дерево...) А то я чет не могу разобраться с офф документацией...)

@0x10 · 08.05.2018, 18:16

Сообщение от Blekzet

А есть пример подключения парсера и лексера к проэкру?

Сообщение от Blekzet

А то я чет не могу разобраться с офф документацией

В ней пример и есть: https://github.com/antlr/antlr... -target.md

Сообщение от Blekzet

Ну типа как правильно описать ловлю ошибок

По умолчанию ошибки должны сыпаться в stderr. Если хочется обрабатывать их как-нибудь по-особенному, то нужно реализовать ErrorListener. Можно унаследоваться от пустого BaseErrorListener. Подключить к генеренному парсеру — методом addErrorListener.

@Blekzet · 08.05.2018, 18:18 **[ТС]**

0x10, Я про вывод дерева... (За ошибки спасибо)

@0x10 · 08.05.2018, 18:28

Сообщение от Blekzet

Я про вывод дерева

Из коробки есть toStringTree.

@Blekzet · 08.05.2018, 18:31 **[ТС]**

0x10, чет не могу понять как он работает...

@0x10 · 08.05.2018, 18:35

Сообщение от Blekzet

чет не могу понять как он работает...

Сериализует дерево разбора в формат s-expression, возвращает строку. Ссылки на примеры давал выше: https://github.com/antlr/antlr... x/main.cpp

@Blekzet · 08.05.2018, 18:36 **[ТС]**

0x10, благодарю

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@rerf2010rerf 46 / 79 / 6 Регистрация: 10.08.2013 Сообщений: 237
	06.05.2018, 10:20
	Если antlr разрешил, так там и делать то ничего не надо, он сам все сделает. В чем у тебя конкретно затруднения? 0

@Blekzet 4 / 4 / 0 Регистрация: 21.12.2015 Сообщений: 195
	08.05.2018, 17:34 [ТС]
	0x10, там задача более комплексная... это я часть с грамматикой не понимал (А есть пример подключения парсера и лексера к проэкру? (Ну типа как правильно описать ловлю ошибок, дерево...) А то я чет не могу разобраться с офф документацией...) 0

@Blekzet 4 / 4 / 0 Регистрация: 21.12.2015 Сообщений: 195
	08.05.2018, 18:18 [ТС]
	0x10, Я про вывод дерева... (За ошибки спасибо) 0

@Blekzet 4 / 4 / 0 Регистрация: 21.12.2015 Сообщений: 195
	08.05.2018, 18:31 [ТС]
	0x10, чет не могу понять как он работает... 0

@Blekzet 4 / 4 / 0 Регистрация: 21.12.2015 Сообщений: 195
	08.05.2018, 18:36 [ТС]
	0x10, благодарю 0

Программная реализация алгоритмов лексического и синтаксического анализа

Решение