Формально-алгоритмическое представление специализированного языка управления данными

Abstract

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