8. Программное обеспечение преобразования цифровых автоматов

Для преобразования цифровых автоматов разработано определенное программное обеспечение.

Оно связано с использованием подпрограмм над множествами, кубами и кубическими покрытиями, описанных в учебном пособии автора “Алгорит-

мизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия)” [13].

Использован опыт разработки программного обеспечения преобразо-вания алгоритмов [14].

Ниже рассмотрены стандартные описания тех подпрограмм, которые касаются только автоматов.

8.1. Подпрограммы алгебраических операций

8.1.1. Подпрограмма настраиваемого объединения

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

ваемым объединением двух автоматов.

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

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

автомата;

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

автомата;

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

автомата;

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

мощность;

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

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

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

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

автоматов.

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

mcaр12, mcaр13, mcaр14, mcaр21, mcaр22, mcaр23,

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

8.1.2. Подпрограмма операции пересечения

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

матов.

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

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

автомата;

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

автомата;

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

автомата;

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

мощность;

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

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

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

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

автоматов.

3. Обращение: реrca (mcaр1, mcaр2, mcaр3, mcaр4, yp, myp, kp, mcaр11,

mcaр12, mcaр13, mcaр14, mcaр21, mcaр22, mcaр23,

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

8.1.3. Подпрограмма операции вычитания

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

матов.

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

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

автомата;

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

автомата;

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

автомата;

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

мощность;

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

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

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

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

автоматов.

3. Обращение: vica (mcaр1, mcaр2, mcaр3, mcaр4, yp, myp, kp, mcaр11,

mcaр12, mcaр13, mcaр14, mcaр21, mcaр22, mcaр23,

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

8.1.4. Подпрограмма операции симметрической разности

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

тью двух автоматов.

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

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

автомата;

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

автомата;

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

автомата;

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

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

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

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

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

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

автоматов.

3. Обращение: siraca(mcaр1, mcaр2, mcaр3, mcaр4, yp, myp, kp, mcaр11,

mcaр12, mcaр13, mcaр14, mcaр21, mcaр22, mcaр23,

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