8.1.5. Подпрограмма операции дополнения

1. Назначение - получение автомата, являющегося разностью между универ-

сальным и исходным автоматами.

2. Формальные параметры:

mcaр11, mcaр12, mcaр13, mcaр14– матрицы исходного

автомата;

mcau01, mcau02, mcau03, mcau04 - матрицы универсального

автомата;

yun, myun – множество состояний универсального

автомата и его мощность;

yp1, myp1 – множество состояний исходного

автомата и его мощность;

mcaр1, mcaр2, mcaр3, mcap4 – матрицы результирующего

автомата;

yp, myp – множество состояний результирующего

автомата и его мощность;

kp, kun, kp1 – количество частей функции перехода

результирующего, универсального и первого

исходного автоматов.

3. Обращение: dopca (mcaр1, mcaр2, mcaр3, mcap4, yp, myp, kp, mcau01,

mcau02, mcau03, mcau04, yun, myun, kun, mcaр11,

mcaр12, mcaр13,mcaр14, yp1, myp1, kp1).

8.2. Подпрограммы операций проверки отношения

8.2.1.Подпрограмма проверки отношения

1. Назначение-формирование признака проверки отношения.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы 1-го исходного

автомата;

mcaр21, mcaр22, mcaр23, mcaр24 - матрицы 2-го исходного

автомата;

yp1, myp1 – множество состояний исходных

автоматов и его мощность;

kp1, kp2 – количество частей функции перехода матриц

первого и вторго исходных автоматов;

protca – признак отношения.

3. Обращение: otca (protca, mcaр11, mcaр12, mcaр13, mcap14, mcaр21,

mcaр22, mcaр23, mcaр24, yp1, myp1, kp1, kp2).

4. Особенности:

при левом включении формируется признак отношения, рав-

ный 1; при правом включении - равный 2; при равенстве –

равный 3; при общем отношении –равный 4; при отношении

'нет общего' –равный 5.

8.2.2. Подпрограмма проверки равенства

Равенство можно проверить с помощью подпрограммы, обращение к которой выглядит следующим образом:

ravca(prravca, mcaр11, mcaр12, mcaр13, mcap14, mcaр21, mcaр22, mcaр23,

mcaр23, yp1, myp1, kp1, kp2).

Все параметры в этой подпрограмме, за исключением признака (призна-ка равенства), совпадают с параметрами предыдущей подпрограммы.

Если объекты равны, то признаку равенства присваивается значение 0, в противном случае - 1.

8.3. Подпрограммы вспомогательных процедур

8.3.1. Подпрограмма ввода

1. Назначение-считывание элементов блока данных (файл wса.dat) в мса ав-

томата.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы автомата;

yp1, myp1 – множество состояний автомата и его

мощность.

3. Обращение: vvca (mcaр11, mcaр12, mcaр13, mcap14, yp1, myp1).

8.3.2. Подпрограмма вывода с признаками

1. Назначение - вывод имени автомата, мса с отметками р.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы автомата;

yp1, myp1 – множество состояний автомата и его

мощность;

kp1– количество частей функции перехода матриц автомата;

pst -имя автомата.

3. Обращение: pechcap (mcaр11, mcaр12, mcaр13, mcap14, yp1, myp1, kp1,

pst).

8.3.3. Подпрограмма вывода без признаков

1. Назначение - вывод имени автомата, мса без отметок р.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы автомата;

yp1, myp1 – множество состояний автомата и его

мощность;

kp1 - количество частей функции перехода матриц

автомата;

pst -имя автомата.

3. Обращение: pechca (mcaр11, mcaр12, mcaр13, mcap14, yp1, myp1, kp1, pst).

8.3.4. Подпрограмма обнуления мса

1. Назначение – обнуление элементов мса.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы автомата;

yp1, myp1 – множество состояний автомата и его

мощность;

kp1 – количество частей функции перехода матриц

исходного автомата.

3. Обращение: zakca0 (mcaр11, mcaр12, mcaр13, mcap14, yp1, myp1, kp1).

8.3.5. Подпрограмма определения пустоты мса

1. Назначение – присвоение признаку пустоты необходимого значения.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы автомата;

yp1, myp1 – множество состояний автомата и его

мощность;

kp1– количество частей функции перехода матриц

исходного автомата.

prpusca – признак пустоты (0 – пусто, 1 – непусто).

3. Обращение: pusca (prpusca, mcaр11, mcaр12, mcaр13, mcap14, yp1, myp1,

kp1).

8.3.6. Подпрограмма 'закачки' мсар1 в однородную мса

1. Назначение - присвоение значений мса исходного автомата элементам мса

итогового автомата при одинаковых множествах состояний.

2. Формальные параметры:

mcaр11, mcaр12 mcaр13, mcaр14 – матрицы “закачиваемого”

автомата;

mcaр1, mcaр2 mcaр3, mcaр4 – матрицы итогового автомата;

yp1, myp1 – множество состояний исходного

автомата и его мощность;

yp, myp – множество состояний итогового

автомата и его мощность;

kp, kp1 – количество частей функции перехода матриц результирующего и исходного автоматов.

3. Обращение: zakcao (mcaр1, mcaр2, mcaр3, mcap4, yр, myр, kp, mcaр11,

mcaр12 mcaр13, mcaр14, yp1, myp1, kp1).