Модельный суперкомпилятор MSCP-A, версия 27.12.2023.

Объектным языком модельного суперкомпилятора MSCP-A является алгоритмически полное подмножество языка Рефал-5. 
См. http://refal.botik.ru/mscp/Model-supercompiler-MSCP-A_Informal-description-of-methods-and-algorithms_12122016.pdf
и http://refal.botik.ru/book/html .

Чтобы запустить суперкомпилятор MSCP-A, необходимо установить на компьютере компилятор и интерпретатор языка Рефала-5:
http://www.botik.ru/pub/local/scp/refal5/

Путь к исполняемым модулям и динамическим библиотекам системы Рефал-5 должен  
находиться по умолчанию (просматриваться при поиске исполняемых модулей) операционной системой либо 
эти модули должны находиться в той же папке, что и MSCP-A.

Перед первым использованием MSCP-A необходимо откомпилировать 
исходные тексты модельного суперкомпилятора MSCP-A посредством выполнения команды:
> MSCPcompile.bat

MSCP-A запускается посредством запуска batch-файла mscpdo.bat с двумя дополнительными аргументами.
Первый -- имя рефал-программы, которая подается на вход суперкомпилятору. 
Второй --- имя файла с результатами суперкомпиляции; по умолчанию это имя исходной рефал-программы с приставкой rsd_ (residual).

Например, в результате выполнения командной строки
> mscpdo.bat tests\test_substring.ref a
будет построен файл с именем a.ref

Более подробную инструкцию, в частности включающую пояснения к установке и использовании в среде Linux_x64,
см. на странице http://refal.botik.ru/readme.pdf

Каталоге tests содержит набор тестовых примеров.


Список исходных модулей MSCP-A:

accessMSCP.ref --- модуль доступа к структурам суперкомпилятора.

analyzeFunDef.ref --- модуль предварительного анализа свойств входных программ.

Ambiguity.ref --- модуль анализа структур на линейность.

Unfold_SCP.ref --- главный модуль суперкомпилятора.

basics.ref --- модуль арифметических функций и функций над множествами. Также содержит
               общую функцию подстановки и общие функции работы с термами.

Stack.ref --- модуль работы со слоистым стеком.

Drive.ref --- модуль алгоритма прогонки.

Generalize.ref --- модуль алгоритмов обобщения и вложения.

WordEquations.ref ---  базовый модуль алгоритмов преобразования уравнений в словах.

WordEqsCases.ref ---  модуль развёртки уравнений в словах.

DiofEqs.ref --- модуль решения диофантовых уравнений.

residual.ref --- модуль преобразования дерева вычислений программы в определения функций.