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

UptoLike

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

147
Таблица 5.3
Шаг
алгоритма
Сочетание всех
Q-событий в момент
времени (t)
Подмножества
частных входных
сигналов на
переходе
Сочетание всех
Q-событий в момент
времени (t+1)
полное событие
a
m
(t)
Сочетание
(конъюнкция)
частных входных
сигналов на
переходе
X(a
m
,a
S
)(t)
полное событие
a
S
(t+
1)
1
Сочетание всех
Q-событий, соответ-
ствующее начальному
полному событию
QQ
Q
32
1
a
0
][],[
12
1
xx
x
2
1
x
x
)(
21
xx
1
x
332
1
/ aQQ
Q
a
Q
Q
Q
a
QQQ
1
3
2
1
5
321
/
/
2
32
1
QQ
Q
a
3
][],[
24
xx
24
xx
x
x
x
4
2
4
)(
a
Q
QQ
6
3
21
/
a
Q
QQ
a
Q
QQ
6
3
21
6
3
21
/
/
3
321
QQQ
a
5
1
a
Q
Q
Q
2
3
2
1
/
4
3
2
1
Q
Q
Q
a
1
][],[
3
2
2
x
x
x
3
2
x
x
)(
32
xx
2
x
a
Q
Q
Q
1
3
2
1
/
a
Q
QQ
a
QQQ
6
3
21
5
321
/
/
5
Q
Q
Q
3
2
1
a
2
][
4
x
4
x
)(
4
x
a
Q
QQ
6
3
21
/
a
QQQ
5
321
/
Дадим некоторые пояснения к табл.5.3. Частные входные сигналы,
отмеченные звездочкой, являются дополнительными сигналами,
обеспечивающими полноту переходов на соответствующем шаге алгоритма
работы автомата, а обозначение сочетаний всех Q-событий принято таким
же, что и при кодировании СКУ (З.11). По табл.5.3 нетрудно построить СКУ,
которая будет полностью соответствовать (до обозначений) исходной СКУ
(3.11).
                                                                      Таблица 5.3
    Шаг         Сочетание всех       Подмножества          Сочетание всех
 алгоритма    Q-событий в момент    частных входных      Q-событий в момент
                  времени (t)          сигналов на          времени (t+1)
                                        переходе
             полное событие am(t)       Сочетание          полное событие
                                      (конъюнкция)            aS(t+1)
                                    частных входных
                                       сигналов на
                                        переходе
                                      X(am,aS)(t)
     1       Сочетание всех           [ x1 x2 ],[ x1 ]
             Q-событий, соответ-
             ствующее начальному
             полному событию               x1 x2           Q1 Q2 Q3 / a3
                   Q1 Q 2 Q 3            ( x1 x2)         Q1 Q2 Q3 / a5
                      a0                     x1            Q1 Q 2 Q3 / a1
     2            Q1 Q2 Q3             [ x4 ],[ x2 ]
                      a3                  x4 x2             Q1 Q2 Q3 / a6
                                                    
                                        ( x4 x2 )           Q1 Q2 Q3 / a 6
                                            x4              Q1 Q2 Q3 / a 6
     3            Q1 Q2 Q3                   1              Q1 Q2 Q3 / a2
                     a5
     4            Q1 Q 2 Q3           [ x2 ],[ x2 x3 ]
                      a1                   x 2 x3           Q1 Q2 Q3 / a1
                                         ( x 2 x3)        Q1 Q2 Q3 / a5
                                             x2
                                                           Q1 Q2 Q3 / a6
     5             Q1 Q2 Q 3               [ x4 ]
                      a2                    x4              Q1 Q2 Q3 / a6
                                          ( x 4)           Q1 Q2 Q3 / a5

Дадим некоторые пояснения к табл.5.3. Частные входные сигналы,
отмеченные звездочкой, являются дополнительными сигналами,
обеспечивающими полноту переходов на соответствующем шаге алгоритма
работы автомата, а обозначение сочетаний всех Q-событий принято таким
же, что и при кодировании СКУ (З.11). По табл.5.3 нетрудно построить СКУ,
которая будет полностью соответствовать (до обозначений) исходной СКУ
(3.11).



                                                                              147