Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул

• Автор: Бутаков, Михаил Игоревич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Иркутск
• Количество страниц: 125 с. : ил.

Оглавление
Введение
1 лава 1. Синтез транслирующих программ на основе позитивно-образованных формул
1.1. Язык и исчисление позитивно-образованных формул
1.2. Доказательство существования транслирующих программ в исчислении позитивно-образованных формул
1.3. Конструктивный фрагмент исчисления позитивно-образованных формул для решения задач трансляции
1 .ч. Синтез транслирующих программ. Принципиальная схема решения задач трансляции на основе исчисления позитивно-образованных формул

1.5. Выводы
Глава 2. Регулярные и 1ЛД1 )-грамматики. Существование транслирующей программы
2.1. Распознающие позитивно-образованные формулы для регулярных правосторонних детерминированных грамматик
2.2. Распознающие позитивно-образованные формулы для 1Х(1)-грамматик
2.3. Выводы
Глава 3. Компонент синтеза транслирующих программ
3.1. Условия и общая схема применения компонента
3.2. Организация данных и диалоговый интерфейс компонента
3.3. Выводы
Глава 4. Примеры применения компонента синтеза транслирующих программ
4.1. Технология решения учебных задач трансляции
4.1.1. Учебные трансляторы. Требования и структура
4.1.2. Пример учебного транслятора

4.2. Контроль цепочек входных воздействий в диалоговой системе таможенного контроля Терминал
4.2.1. Назначение и структура диалоговой системы
4.2.2. Логико-лингвистическая модель диалога
4.2.3. Реализация модели
4.3. Выводы
Заключение
Литература
Приложение 1. Множество направляющих символов для 1Х(1)-грамматик
Введение
При решении прикладных задач часто приходится решать задачи трансляции. Примерами программ, где решаются задачи трансляции, являются: AutoCad [37], Microsoft Office (VBA) [45], 1С:Предприятие [44], предметноориентированные языки и системы программирования и др [64].
Применение встроенных в прикладные программы средств трансляции и исполнения программного кода [3], формируемого пользователем, позволяет решать ряд важных задач, а именно: связывать воедино отдельные
функциональные блоки на основе целостной формальной спецификации; синтезировать новые программы обработки данных на основе имеющихся подпрограмм.
Одним из подходов к решению указанных задач является представление формального языка и входной цепочки в виде логической теории первого порядка [62]. Применение логических средств для решения задач трансляции
позволяет:
« Адаптировать средства интеллектуализации к терминологии и свойствам предметной области;
• Сократить время и трудоемкость разработки прикладных программ со встроенными средствами трансляции;
• Повысить качество компонентов прикладной программы за счет их синтеза в результате дедуктивного вывода из спецификаций компонентов и исходных данных;
® Проверять непротиворечивость спецификаций, разработанных на основе известных алгоритмов и т.д.
В связи с этим развитие средств конструирования трансляторов, встраиваемых в прикладные программы, на основе логического подхода является актуальным.
При разработке встроенных систем трансляции на основе логического подхода огромное значение имеет компактное представление знаний и хорошая
Это один из основных результатов диссертационной работы, который выносится на защиту. Результат опубликован в [16-19].