Венский метод интерпретирующий автомат

STEP 1.

Слова Новикова:

Вы погрязнете в алгебре и не доберетесь до сути дела. Есть такая опасность?...Эта алгебра не нужна, то есть совсем... (Ваня: ну мы можем ее в общем рассказать, ну и в практике...) ... Да ее вообще не надо рассказывать, вообще не надо просто. Вы начинаете: результатом этой алгебры явилось понятие абстрактного синтаксического дерева. Вот результатом движения науки в направлении, предложенным Венским методом, появилось абстрактное синтаксическое дерево(до того как вы родились). И вы получили сейчас абстрактное синтаксическое дерево как абсолютную реальность совершенно ясно. Поэтому можно сказать, там есть алгебра, которая все это объясняет, но все же понимают что это такое, поэтому ставим сюда, ставим сюда, и, и т.д. Ну в таком духе пожалуй. (Новиков Тихонов Автоматный метод определения языков программирования). Сделать наверное ничего уже не успеете, но хоть просмотрите.

Так, как итог, мы получили лишь диссертацию, а про Новикова и Тихонова ничего не кинули.

Текущий план:

Разобраться что это такое в принципе(обобщенно) - до пятницы(включительно):

прочитать диссертацию(~50 страниц)
Общие моменты из книги(290 страниц)

Сделать презентацию - начиная с пятницы до первой половины воскресенья
Подготовиться к докладу(вторая половина воскресенья)

Это примерная схема, в идеале конечно ориентироваться на нее. А так, ну нам пиздец, хули.

Ниже буду просто вставлять некоторые определения, которые так или иначе имеют отношение к нашей теме(источник презентации Новикова)

Основные определения

правила, описывающие множество знаков и способы их комбинирования, называются синтаксисом языка
правила, описывающие множество смыслов и соответствие между
комбинациями знаков и смыслами, называются семантикой языка
конечный автомат является, видимо, наипростейшей возможной моделью устройств обработки и преобразования информации
правила практического применения формальных языков, то
есть прагматика
цепочка терминальных символов - это последовательность символов в языке программирования, которая представляет собой конкретное значение или действие
Терминологическое замечание: предметно-ориентированный язык ориентирован на данные конкретной
предметной области; а проблемно-ориентированный язык ориентирован на методы обработки данных
в ряде предметных областей. Аббревиатура «ПОЯ» нивелирует это различие, которое в большинстве
случаев несущественно

План?!

Введение

Венский метод интерпретирующего автомата: основные понятия

Определение и история
Основные характеристики и цели метода

Абстрактное синтаксическое дерево (Abstract Syntax Tree, AST)

Понятие AST в компьютерных науках

Определение и назначение
Роль AST в компиляции и интерпретации

Структура AST

Узлы и рёбра
Типы узлов и их функции

Пример построения AST

Шаги создания AST для простого выражения
Взаимосвязь синтаксического анализа и построения AST

Венский метод интерпретирующего автомата: подробный обзор

Принцип работы

Лексический анализ и токенизация
Синтаксический анализ и построение AST
Интерпретация AST и выполнение программы

Отличия от других методов интерпретации

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

Примеры применения Венского метода

Простой пример программы

Код программы
Шаги лексического и синтаксического анализа
Построение и интерпретация AST

Применение в реальных проектах

Примеры из индустрии
Эффективность и масштабируемость

Заключение

Выводы по использованию Венского метода интерпретирующего автомата

Перспективы развития метода
Роль в современных технологиях

Список литературы

Основные работы по Венскому методу
Дополнительные материалы