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

User Tools

Site Tools

Trace:
gram:cd

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

gram:cd [2025/11/14 10:49] – created eugeneaigram:cd [2025/11/14 10:52] (current) – eugeneai
Line 8: Line 8:
  
 **Знать:** **Знать:**
-- Иерархию Хомского и классы формальных грамматик + 
-- Принципы работы детерминированных и недетерминированных автоматов   +  - Иерархию Хомского и классы формальных грамматик 
-- Методы синтаксического анализа (LL, LR, рекурсивный спуск) +  - Принципы работы детерминированных и недетерминированных автоматов   
-- Архитектуру компиляторов и трансляторов+  - Методы синтаксического анализа (LL, LR, рекурсивный спуск) 
 +  - Архитектуру компиляторов и трансляторов
  
 **Уметь:** **Уметь:**
-- Проектировать грамматики для предметно-ориентированных языков + 
-- Реализовывать лексические и синтаксические анализаторы +  - Проектировать грамматики для предметно-ориентированных языков 
-- Генерировать промежуточное представление кода +  - Реализовывать лексические и синтаксические анализаторы 
-- Использовать ANTLR4 и LLVM для построения трансляторов+  - Генерировать промежуточное представление кода 
 +  - Использовать ANTLR4 и LLVM для построения трансляторов
  
 **Владеть:** **Владеть:**
-- Навыками работы с современными инструментами языковой разработки + 
-- Методами оптимизации и генерации кода +  - Навыками работы с современными инструментами языковой разработки 
-- Техниками отладки языковых процессоров+  - Методами оптимизации и генерации кода 
 +  - Техниками отладки языковых процессоров
  
 === Структура курса === === Структура курса ===
Line 38: Line 41:
  
 **Теория:** **Теория:**
-- Формальные языки и грамматики +  - Формальные языки и грамматики 
-- Конечные автоматы (ДКА/НКА)  +  - Конечные автоматы (ДКА/НКА)  
-- Регулярные выражения +  - Регулярные выражения 
-- Минимизация и преобразование автоматов+  - Минимизация и преобразование автоматов
  
 **Практика:** **Практика:**
-- Реализация сканеров на ANTLR4 +  - Реализация сканеров на ANTLR4 
-- Генерация лексических анализаторов +  - Генерация лексических анализаторов 
-- Оптимизация регулярных выражений+  - Оптимизация регулярных выражений
  
 ==== Раздел 2: КС-грамматики и МП-автоматы ==== ==== Раздел 2: КС-грамматики и МП-автоматы ====
  
 **Теория:** **Теория:**
-- Контекстно-свободные грамматики +  - Контекстно-свободные грамматики 
-- Автоматы с магазинной памятью +  - Автоматы с магазинной памятью 
-- Нормальные формы (Хомского, Грейбах) +  - Нормальные формы (Хомского, Грейбах) 
-- Свойства КС-языков+  - Свойства КС-языков
  
 **Практика:** **Практика:**
-- Проектирование грамматик для DSL +  - Проектирование грамматик для DSL 
-- Построение нисходящих парсеров   +  - Построение нисходящих парсеров   
-- Обработка синтаксических ошибок+  - Обработка синтаксических ошибок
  
 ==== Раздел 3: Синтаксический анализ ==== ==== Раздел 3: Синтаксический анализ ====
  
 **Теория:** **Теория:**
-- LL(1) и LR(1) анализ +  - LL(1) и LR(1) анализ 
-- Рекурсивный спуск +  - Рекурсивный спуск 
-- Табличные методы разбора +  - Табличные методы разбора 
-- Абстрактные синтаксические деревья+  - Абстрактные синтаксические деревья
  
 **Практика:** **Практика:**
-- Реализация парсеров на ANTLR4 +  - Реализация парсеров на ANTLR4 
-- Построение и обход AST +  - Построение и обход AST 
-- Семантический анализ+  - Семантический анализ
  
 ==== Раздел 4: Практика трансляции ==== ==== Раздел 4: Практика трансляции ====
  
 **Теория:** **Теория:**
-- Архитектура компиляторов +  - Архитектура компиляторов 
-- Промежуточные представления +  - Промежуточные представления 
-- Генерация кода +  - Генерация кода 
-- Оптимизации+  - Оптимизации
  
 **Практика:** **Практика:**
-- Интеграция с LLVM +  - Интеграция с LLVM 
-- Генерация native-кода +  - Генерация native-кода 
-- Создание предметно-ориентированных языков+  - Создание предметно-ориентированных языков
  
 === Инструментарий === === Инструментарий ===
Line 92: Line 95:
  
 **ANTLR4** **ANTLR4**
-- Генерация лексеров и парсеров +  - Генерация лексеров и парсеров 
-- Поддержка множества целевых языков +  - Поддержка множества целевых языков 
-- Интеграция с системами сборки+  - Интеграция с системами сборки
  
 **LLVM**  **LLVM** 
-- Промежуточное представление LLVM IR +  - Промежуточное представление LLVM IR - //Intermediate Representation// 
-- Кросс-платформенная генерация кода +  - Кросс-платформенная генерация кода 
-- Оптимизации на уровне IR+  - Оптимизации на уровне IR
  
 **DeepSeek** (контролируемое использование) **DeepSeek** (контролируемое использование)
-- Анализ и рефакторинг кода +  - Анализ и рефакторинг кода 
-- Генерация шаблонов реализаций +  - Генерация шаблонов реализаций 
-- Помощь в отладке сложных конструкций+  - Помощь в отладке сложных конструкций
  
 === Оценочные материалы === === Оценочные материалы ===
Line 110: Line 113:
 ==== Формы контроля ==== ==== Формы контроля ====
  
-* **Лабораторные работы:** 40% +  * **Лабораторные работы:** 40% 
-* **Практические задания:** 20%  +  * **Практические задания:** 20%  
-* **Экзамен:** 40%+  * **Экзамен?:** 40%
  
 ==== Вопросы для подготовки ==== ==== Вопросы для подготовки ====
  
-1. Иерархия Хомского: классы и их характеристики +  - Иерархия Хомского: классы и их характеристики 
-2. ДКА и НКА: эквивалентность и преобразования +  - ДКА и НКА: эквивалентность и преобразования 
-3. Регулярные выражения и их применение в лексическом анализе +  - Регулярные выражения и их применение в лексическом анализе 
-4. КС-грамматики: свойства и нормальные формы +  - КС-грамматики: свойства и нормальные формы 
-5. Синтаксический анализ: LL(1) vs LR(1) +  - Синтаксический анализ: LL(1) vs LR(1) 
-6. Построение AST и семантический анализ +  - Построение AST и семантический анализ 
-7. Генерация кода с использованием LLVM +  - Генерация кода с использованием LLVM 
-8. Оптимизации на разных этапах компиляции+  - Оптимизации на разных этапах компиляции
  
 === Литература === === Литература ===
Line 129: Line 132:
 ==== Основная ==== ==== Основная ====
  
-1. //Теренс Парр// - "The Definitive ANTLR 4 Reference" +  - //Теренс Парр// - "The Definitive ANTLR 4 Reference" 
-2. //Крис Латтнер// - "LLVM Essentials"  +  - //Крис Латтнер// - "LLVM Essentials"  
-3. //Альфред Ахо и др.// - "Компиляторы: принципы, технологии и инструменты"+  - //Альфред Ахо и др.// - "Компиляторы: принципы, технологии и инструменты"
  
 ==== Дополнительная ==== ==== Дополнительная ====
  
-1. Официальная документация ANTLR4 +  - Официальная документация ANTLR4 
-2. LLVM Tutorial и Language Reference +  - LLVM Tutorial и Language Reference 
-3. Статьи по построению DSL и языковых процессоров+  - Статьи по построению DSL и языковых процессоров
  
 ---- ----
 [[gram:main|← Назад]] | [[gram:labs|Лабораторные работы →]] [[gram:main|← Назад]] | [[gram:labs|Лабораторные работы →]]
gram/cd.1763088557.txt.gz · Last modified: by eugeneai