Топоркова О. М. Анализ и синтез формальных текстов: Учебн. пособ.
по разделу дисциплины «Системное программное обеспечение». –
Калининград: КГТУ, 2009, 116 с.
Рассмотрены основные способы организации фаз анализа и синтеза формальных текстов, которые используются в компиляторах и интерпретаторах при распознавании вводимых формальных конструкций. Описываются приемы моделирования грамматики и семантики формального текста, а также формирование правил перевода с одного формаль-ного языка на другой.
Содержание:
Лексический анализ (сканирование)
Моделирование лексики формального языка
Моделирование лексического анализа. Непрямой лексический анализ
Прямой лексический анализ
Выделение лексем и определение их типов
Формирование таблиц и кодирование цепочки
Алгоритмизация прямого лексического анализа
Обнаружение ошибок при прямом лексическом анализе
Синтаксический анализ (разбор)
Моделирование синтаксиса формального языка
Моделирование синтаксического анализа и его результатов
Синтаксический анализатор как автомат с магазинной памятью
Обработка тупиковых ситуаций
Семантический анализ
Моделирование семантики языка программирования
Моделирование семантического анализа. Определение семантической корректности программы
Семантический анализ, совмещенный с разбором
Семантический анализ как самостоятельная фаза компиляции
Семантический анализатор как конечный автомат
Модификация таблицы имен
Генерация промежуточного представления
Моделирование правил перевода
Моделирование перевода
Рассмотрены основные способы организации фаз анализа и синтеза формальных текстов, которые используются в компиляторах и интерпретаторах при распознавании вводимых формальных конструкций. Описываются приемы моделирования грамматики и семантики формального текста, а также формирование правил перевода с одного формаль-ного языка на другой.
Содержание:
Лексический анализ (сканирование)
Моделирование лексики формального языка
Моделирование лексического анализа. Непрямой лексический анализ
Прямой лексический анализ
Выделение лексем и определение их типов
Формирование таблиц и кодирование цепочки
Алгоритмизация прямого лексического анализа
Обнаружение ошибок при прямом лексическом анализе
Синтаксический анализ (разбор)
Моделирование синтаксиса формального языка
Моделирование синтаксического анализа и его результатов
Синтаксический анализатор как автомат с магазинной памятью
Обработка тупиковых ситуаций
Семантический анализ
Моделирование семантики языка программирования
Моделирование семантического анализа. Определение семантической корректности программы
Семантический анализ, совмещенный с разбором
Семантический анализ как самостоятельная фаза компиляции
Семантический анализатор как конечный автомат
Модификация таблицы имен
Генерация промежуточного представления
Моделирование правил перевода
Моделирование перевода