Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 140 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

140
недетерминированным направленным графом модели автомата Мура
(рис. 1.1).
В результате детерминизации исходного управляющего алгоритма получены
следующие полные события и соответствующие им совокупности
управляющих сигналов:
),(
),(
),(
),(
),(
),(
),(
431316
4335
4315314
4324323
421412
21211
000
yyySSa
yySa
yyySSSa
yyySSSa
yyySSa
yySSa
ySa
).(
),(
),(
),(
),(
),(
432143112
4315311
432154310
4249
432328
432437
yyyySSSa
yyySSa
yyyySSSa
yySa
yyySSa
yyySSa
Таблица соответствия, построенная по результатам детерминизации
исходного управляющего алгоритма, будет иметь следующий вид:
Таблица 5.1
Полное
событие
Сочетание частных
событий, реализуемых
управляющим
алгоритмом
одновременно
Код адреса
нано-
команды
Код нанокоманды
a
i
S
0
S
1
S
2
S
3
S
4
S
5
p
1
p
2
p
3
y
0
y
1
y
2
y
3
y
4
1 2 3 4
a
0
1 0 0 0 0 0 0 0 0 1 0 0 0 0
a
1
0 1 1 0 0 0 0 0 1 0 1 1 0 0
a
2
0 1 0 0 1 0 0 1 0 0 1 1 0 1
a
3
0 0 1 1 1 0 0 1 1 0 0 1 1 1
a
4
0 1 0 1 0 1 1 0 0 0 1 0 1 1
a
5
0 0 0 1 0 0 1 0 1 0 0 0 1 1
a
6
0 1 0 1 0 0 1 0 0 0 1 0 1 1
a
7
0 0 0 1 1 0 0 1 1 0 0 1 1 1
Продолжение таблицы 5.1
Полное
событие
Сочетание частных
событий, реализуемых
управляющим
алгоритмом
одновременно
Код адреса
нано-
команды
Код нанокоманды
a
8
0 0 1 1 0 0 0 1 1 0 0 1 1 1
a
9
0 0 0 0 1 0 1 1 0 0 0 1 0 1
a
10
0 0 0 1 1 1 1 1 1 0 1 1 1 1
a
11
0 0 0 1 0 1 1 0 0 0 1 0 1 1 
недетерминированным направленным графом модели автомата Мура
(рис. 1.1).
В результате детерминизации исходного управляющего алгоритма получены
следующие полные события и соответствующие им совокупности
управляющих сигналов:
a0  S 0 ( y0 ),
                                 a7  S 3 S 4 ( y2 y3 y4 ),
a1  S1S 2 ( y1 y 2 ),
                                 a8  S 2 S 3 ( y 2 y3 y 4 ),
a 2  S1S 4 ( y1 y 2 y4 ),
                                 a9  S 4 ( y2 y 4 ),
a3  S 2 S 3 S 4 ( y2 y3 y 4 ),
                                 a10  S 3 S 4 S5 ( y1 y2 y3 y4 ),
a 4  S1S 3 S 5 ( y1 y3 y 4 ),
                                 a11  S 3 S 5 ( y1 y3 y4 ),
a5  S 3 ( y3 y 4 ),
                                 a12  S1S 3 S 4 ( y1 y 2 y3 y 4 ).
a6  S1S 3 ( y1 y3 y 4 ),
Таблица соответствия, построенная по результатам детерминизации
исходного управляющего алгоритма, будет иметь следующий вид:
                                                   Таблица 5.1

Полное       Сочетание частных       Код адреса      Код нанокоманды
событие     событий, реализуемых       нано-
               управляющим            команды
                 алгоритмом
               одновременно
   ai      S0 S1 S2 S3 S4 S5         p1   p2   p3   y0   y1y2 y3 y4
   1                  2                   3                4
   a0      1   0    0   0   0   0    0    0    0   1   0   0    0 0
   a1      0   1    1   0   0   0    0    0    1   0   1   1    0 0
   a2      0   1    0   0   1   0    0    1    0   0   1   1    0 1
   a3      0   0    1   1   1   0    0    1    1   0   0   1    1 1
   a4      0   1    0   1   0   1    1    0    0   0   1   0    1 1
   a5      0   0    0   1   0   0    1    0    1   0   0   0    1 1
   a6      0   1    0   1   0   0    1    0    0   0   1   0    1 1
   a7      0   0    0   1   1   0    0    1    1   0   0   1    1 1
                                                 Продолжение таблицы 5.1
Полное       Сочетание частных       Код адреса      Код нанокоманды
событие     событий, реализуемых       нано-
               управляющим            команды
                 алгоритмом
               одновременно
   a8      0   0    1   1   0   0    0    1    1    0    0    1   1   1
   a9      0   0    0   0   1   0    1    1    0    0    0    1   0   1
   a10     0   0    0   1   1   1    1    1    1    0    1    1   1   1
   a11     0   0    0   1   0   1    1    0    0    0    1    0   1   1

                                                                          140

Страницы