Определение языков программирования интерпретируемыми автоматами



(C) 2008 У.Т. Тихонова

Санкт-Петербургский государственный политехнический университет

Проектная документация
Исходные тексты

Аннотация

В диссертации описан метод определения проблемно-ориентированных языков с помощью интерпретируемых автоматов. Этот метод позволяет формально определить проблемно-ориентированный язык в виде трех составляющих: абстрактного синтаксиса, конкретного синтаксиса и семантики. Программная реализация этого метода, машина автоматного программирования, осуществляет интерпретацию автоматов формального определения языка, и таким образом выполняет разбор и интерпретацию программ на данном языке. Метод описывается на примере языка предметной области СЛОН.

В работе рассмотрены существующие для описания проблемно-ориентированных языков методы и инструменты, проведен анализ диаграмм классов UML как средства задания языка, описаны автоматы, определяющие язык СЛОН, и методы их полуавтоматического построения.

Ключевые слова: проблемно-ориентированный язык, семантика, конкретный синтаксис, абстрактный синтаксис, метамодель, автомат, машина автоматного программирования.