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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

146
.)1(
,)1(
,)1(
3214323
32323212
32213211
QQQxQxtQ
QQxxQQxtQ
QQxxQQQtQ
(5.16)
Таблица 5.2
Шаг
алгоритма
Сочетания
непосредственно-
предшествующих
Q-событий в момент
времени (t)
tQQ
R
Rii
i
,1,
~
~
Частные
входные
сигналы на
переходе
X
i,j
(
t
)
Q
-событие
перехода в
момент времени
(t+1)
Q
j
(
t+
1)
1 2 3 4
1
321
QQQ
1 Q
1
2 Q
2
Q
3
x
xx
1
21
Q
1
Q
2
3
3
2
Q
Q
xx
32
Q
2
4
3
Q
x
2
Q
3
5 Q
1
x
4
Q
3
6
32
QQ
1 Q
3
На основании алгоритма детерминизации, представленного в главе 2,
используя вспомогательную прямую таблицу переходов для Q-событий
(табл.5.2) и учитывая требования к формированию полных событий и
входных сигналов, получим прямую таблицу переходов детерминированного
автомата (табл. 5.3). 
                   Q1 (t  1)  Q1 Q2 Q3  x1 x2  Q2Q3 ,
                   Q2 (t  1)  x1 Q2 Q3  x2 x3 Q2 Q3 ,                         (5.16)
                   Q3 (t  1)  x2 Q3  x4 Q1  Q2 Q3 .
                                                                          Таблица 5.2
          Шаг        Сочетания                      Частные           Q-событие
       алгоритма     непосредственно-               входные           перехода в
                                                   сигналы на       момент времени
                     предшествующих
                                                 переходе Xi,j(t)        (t+1)
                      Q-событий в момент
                          времени (t)                                  Qj(t+1)
                             ~     ~
                       R i  Qi,1 Qi , R t 
           1                     2                      3                 4
           1                Q1 Q2 Q3                    1                Q1
           2                 Q 2Q 3                   x1 x 2             Q1
                                                                         Q2
                                                       x1
           3                  Q2 Q3                   x2 x 3             Q2
           4                    Q3                     x2                Q3
           5                    Q1                     x4                Q3
           6                  Q2 Q3                    1                 Q3

На основании алгоритма детерминизации, представленного в главе 2,
используя вспомогательную прямую таблицу переходов для Q-событий
(табл.5.2) и учитывая требования к формированию полных событий и
входных сигналов, получим прямую таблицу переходов детерминированного
автомата (табл. 5.3).




                                                                                          146

Страницы