Метавычисления. Часть II.

Description

Метавычисления. Часть II. Абрамов С.М., Пармёнова Л.В. Переславль-Залесский: Изд-во «Университет города Переславля», 2016, 72 с. ISBN 978-5-901795-27-9 Оглавление 1 Введение 1.1 Область исследования 1.2 Система обозначений и понятий 1.3 Структура изложения 1.4 FTP-приложение 2 Wh—алгоритм обнаружения возможного зацикливания 2.1 Упрощающее отношение 2.2 Реализация алгоритма обнаружения возможного зацикливания 2.2.1 Функция wh — упрощающее сравнение двух с-выражений 2.2.2 Алгоритм numprog перенумерации термов исходной программы 2.2.3 Функция theSameTerm 2.2.4 Функция whConf 2.3 Выводы 3 Gener — алгоритм построения тесной общей надконфигурации 3.1 Постановка задачи 3.2 Обобщение с-баз конфигураций 3.2.1 Вспомогательные конструкции и функции 3.2.2 Обобщение с-выражений 3.2.3 Обобщение с-сред 3.3 Функция genTabToSubsts. Построение подстановок sGenUp и sGenDn 3.4 Обобщение рестрикций 3.4.1 Общая схема выполнения обобщения рестрикций 3.4.2 Функция mkRestr 3.4.3 Функция genRestr. Обобщение рестрикций 3.4.4 Поправка Ю. А. Климова к алгоритму обобщения классов 3.5 Функция genConf. Обобщение конфигураций 3.6 Функция isEqCUpCGen 3.6.1 Функция mkSubstUpDn 3.7 Выводы 4 Суперкомпилятор для языка TSG 4.1 Структура графа конфигураций и основные типы данных 4.1.1 Сведение конфигураций в S-графе 4.1.2 Синтаксис графа конфигураций 4.1.3 Nodeinfo — информация о вершине 4.2 Вспомогательные функции 4.3 Входные данные суперкомпилятора 4.4 Развитие вершины 4.4.1 Функция evalG. Построение пассивной вершины 4.4.2 Функция drive. Прогонка непассивной вершины на один шаг 4.4.3 Функция procDR. Анализ результатов прогонки 4.4.4 Функция mkDbr. Построение ветвей продолжений 4.4.5 Функция procWh. Обработка возможного зацикливания 4.5 Функции вывода результата суперкомпиляции 4.6 Выводы 5 Примеры суперкомпиляции 5.1 Специализация программ 5.1.1 Суперкомпиляция как метод специализации программ 5.2 Специализация: КМР-тест 5.2.1 Пример 1. Поиск подстроки "ААВ" в произвольной строке 5.2.2 Пример 2. Поиск подстроки "АABAАС" в произвольной строке 5.2.3 Выводы 5.3 Проекции Футамуры-Турчина 5.3.1 Определение проекций Футамуры-Турчина 5.3.2 Компиляция конечных автоматов autol и auto2 в TSG 5.3.3 Выводы 6 Заключение Литература