Применение автоматного программирования
для определения проблемно-ориентированных языков
Ф. А. Новиков, У. Н. Тихонова
Институт прикладной астрономии РАН, Санкт-Петербург nbsp;
Аннотация:
В статье описан метод определения проблемно-ориентированных языков с помощью интерпретируемых автоматов. Этот метод позволяет формально определить проблемно-ориентированный язык в виде трех составляющих: абстрактного синтаксиса, конкретного синтаксиса и семантики. Программная реализация этого метода, машина автоматного программирования, осуществляет интерпретацию автоматов формального определения языка и таким образом выполняет разбор и интерпретацию программ на данном языке. Метод был применен для описания проблемно-ориентированного языка СЛОН.
Ключевые слова:
автоматное программирование, интерпретируемые автоматы, проблемно-ориентированные языки, абстрактный синтаксис, конкретный синтаксис, семантика, интерпретация автоматов формального определения языка, проблемно-ориентированный язык СЛОН.
Definition of Domain-Specific Languages by Automata Programming
F. A. Novikov, U. N. Tikhonova
Abstract:
The method of domain-specific languages definition by interpreted automata is described. This method enables one to define domain-specific language in three components: abstract syntax, concrete syntax and semantics. The program implementation of this method, virtual machine of automata-based programming, interprets automata of language specification and carries out interpretation and parsing of programs in the language thereby.