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

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).

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).

Дата добавления: 2015-07-26; просмотров: 130; Нарушение авторских прав

Мы поможем в написании ваших работ!