4.3. Язык описания решений задачи

Язык описания решений задачи служит для записи информации о действиях, которые необходимо выполнить по каждому из заданных в алгоритме решений, и адреса размещения результатов выполнения этих действий в массиве хранения данных об объекте. Номер решения всегда совпадает с номером правила выбора решения в таблице предикатов (рис. 5-6). Количество решений должно совпадать с количеством правил их выбора в таблице предикатов.

<описание решений>::= <справка><тело действия>/

<справка>::= <имя системы><имя алгоритма><имя алгоритма><имя системы>

<имя системы>::= C=<текстовая константа, не превышающая 8 символов>;

<имя алгоритма>::= А=<текстовая константа, не превышающая 8 символов>;

<тело действия>::=<решение><решение> <тело действия>

<решение>::= <номер решения> <адрес занесения решения> <имя программы формирования решения><номер решения> <адрес занесения решения> <массив констант>

<номер решения>::= P=<целое без знака>;

<адрес занесения значения решения>::= <номер строки> <номер столбца>

<номер строки>::= C=<целое без знака>;Ц=<целое без знака>;

<номер столбца>::= T=<целое без знака>;И=<целое без знака>;

Номер строки (столбца) может быть постоянным, тогда он задается с помощью идентификатора С (Т). Если же номер строки (столбца) является переменной величиной, которая должна меняться в цикле, то задается значение смещения номера строки (столбца) по отношению к цикловому значению номера строки (столбца) с помощью идентификатора Ц (И). Такая возможность позволяет увеличить возможности по формированию массива хранения данных об объекте. Не допускается задавать нулевые значения строки и столбца с идентификаторами С и Т.

<имя программы>::= П=<текстовая константа, не превышающая 6 символов>;

Программа проектируется в случае, когда при формировании решения необходимо выполнить арифметические или логические действия.

<массив констант>::= K=<перечисление констант>;

<перечисление констант>::= <числовая константа>'<текстовая константа>''<текстовая константа>',<перечисление констант> <числовая константа>, <перечисление констант>

Массив констант задается в том случае, когда в массив хранения данных необходимо занести заранее определенный перечень констант. Массив констант заносится универсальной процедурой формирования решений в заданную строку массив данных подряд, начиная с заданного столбца этого массива. Причем, числовая константа занимает один элемент массива, а текстовая константа ]P/4[ элементов массива, ]a[ - ближайшее большее числа "a" и P - число символов в константе.

Пример: Пусть решение задано следующим образом:

Р=5; С=4; Т=2; К=5, 'Токарный станок', 15;

Тогда в массиве константы займут элементы четвертой строки, начиная со второго столбца и кончая седьмым:

номера столбцов	1	2	3	4	5	6	7
данные в массиве		5	Тока	рный	стан	ок	15

Одному решению может соответствовать несколько описаний действий, которые необходимо выполнить. Все эти описания должны иметь один номер. Выполняются эти действия в порядке их задания в документе описания решений.

На рис.6 показан пример записи решений.