Образовательный ресурс edu.irnok.net

Разработка компилятора для языка арифметических выражений с поддержкой переменных, базовых операций и функций.

NUMBER    : [0-9]+ ('.' [0-9]+)?
ID        : [a-zA-Z_][a-zA-Z_0-9]*
PLUS      : '+'
MINUS     : '-'  
MUL       : '*'
DIV       : '/'
ASSIGN    : '='
LPAREN    : '('
RPAREN    : ')'
SEMI      : ';'
WS        : [ \t\r\n]+ -> skip

program   : statement+ EOF
statement : expr SEMI
          | ID ASSIGN expr SEMI
   
expr      : term ( (PLUS | MINUS) term )*
term      : factor ( (MUL | DIV) factor )*
factor    : NUMBER
          | ID
          | ID LPAREN expr (',' expr)* RPAREN
          | LPAREN expr RPAREN

Задачи:

1. Реализовать грамматику токенов в ANTLR4
2. Создать лексический анализатор
3. Обработать основные типы лексем:
   1. Числовые литералы
   2. Идентификаторы
   3. Операторы и разделители

Тестовые примеры:

x = 5;
y = 3.14 * (2 + x);

Результат: Токенизатор, возвращающий последовательность токенов.

Задачи: 1. Реализовать синтаксические правила 2. Построить парсер с помощью ANTLR4 3. Сгенерировать абстрактное синтаксическое дерево 4. Реализовать визитор для обхода AST

Тестовые примеры:

a = 10;
b = a * (2 + sin(3.14/2));

Результат: Парсер, строящий AST для корректных выражений.

Задачи: 1. Реализовать таблицу символов 2. Проверить типы выражений 3. Валидировать существование переменных 4. Реализовать базовые функции (sin, cos, sqrt)

Функции проверки: - Проверка объявления переменных - Валидация типов в операциях - Проверка аргументов функций

Результат: Семантически проверенное AST.

Задачи: 1. Сгенерировать LLVM IR для выражений 2. Реализовать поддержку переменных 3. Добавить математические функции 4. Создать исполняемый файл

Генерация кода для:

x = 2 * (3 + 4);  // -> 14

Результат: Работающий компилятор, генерирующий исполняемый код.

Для повышения оценки можно реализовать:

* Оптимизации: постоянное свертывание, удаление мертвого кода * Дополнительные типы: булевы значения, строки * Расширенный синтаксис: условные выражения, циклы * Поддержка JIT-компиляции

math_compiler/
├── grammar/
│   ├── MathLexer.g4
│   └── MathParser.g4
├── src/
│   ├── ast/
│   ├── semantic/
│   └── codegen/
├── tests/
└── requirements.txt

- ANTLR4 официальная документация - LLVM Tutorial для начинающих - Примеры реализации на GitHub

← К списку лабораторных | На главную