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

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

8.3.7. Подпрограмма 'закачки' мсар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, kun – количество частей функции перехода матриц

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

ного автоматов.

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

mcaр11, mcaр12, mcaр13, mcaр14, yp1, myp1, kp1,

kun).

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

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