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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

32
Таблица 2.1
Шаг
алгоритма
Исходное частное событие
и отмечающий его
выходной сигнал
)
)(
(
Y
t
S
i
i
Частный входной сигнал
на переходе
)
(
,
t
X
ji
Событие
перехода
)
1
(
t
S
j
1 2 3 4
1
)
(
0
0
y
S
x
x
1
1
S
S
S
21
0
,
2
y
S
1
1
x
x
x
x
2
1
2
2
S
S
S
2
3
1
3
y
S
2
2
2
1
1
1
x
x
x
x
S
S
S
5
3
4
4
yy
S
43
3
,
)(
3
2
*
32
3
x
x
xx
x
SS
S
S
4
4
3
5
yy
S
42
4
,
x
x
4
4
S
S
3
4
6
yy
S
31
5
,
x
x
4
4
S
S
3
4
б) В соответствии с алгоритмом детерминизации на основании табл.2.1
получим следующую прямую таблицу переходов ДА Мура (табл.2.2). 
Таблица 2.1
     Шаг       Исходное частное событие        Частный входной сигнал      Событие
  алгоритма       и отмечающий его              на переходе X i , j (t )   перехода
              выходной сигнал S i (t )(Y i )                               S j (t  1)
      1                       2                             3                   4
      1                  S 0 ( y 0)                         x1              S0
                                                            x1              S1, S 2
      2                   S 1  y1                      x2                  S1
                                                         x2                    S3
                                                         x1 x2                 S2
      3                  S 2  y 2                      x1                    S4
                                                         x1                    S3
                                                         x1 x2                 S5
      4                S 3  y 3 , y 4                x3                      S3
                                                       x 2 x3                  S4
                                                                 *
                                                       ( x2 x3)            S    S 4
      5                S 4  y 2 , y 4                     x4                 S4
                                                            x4                 S3
      6                S 5  y1 , y 3                      x4                 S4
                                                            x4                 S3

     б) В соответствии с алгоритмом детерминизации на основании табл.2.1
получим следующую прямую таблицу переходов ДА Мура (табл.2.2).




                                                                                          32

Страницы