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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

53
aSaSaSaSaSS
aSSaSaSaSaS
k 2,5102,357691,576
4841,33221100
,,,,,
,,,,,,
будет иметь следующий вид (табл.3.5):
Таблица 3.5
a
i
(t) X
i,j
(t) a
j
(t+1)(Y
j
)
1 2 3 4
1 a
0
1 a
1
(y
1
)
2 a
1
x
1
a
2
(y
2
)
x
1
а
3,1
(y
3
)
3 a
2
1 а
3,1
(y
3
)
4 а
3,1
1 a
4
(y
1
)
5
2,3
a
1 a
4
(y
1
)
6 a
4
x
1
2,3
a
(y
2
)
x
1
а
5,1
(y
3
)
7 а
5,1
x
3
a
6
(y
4
)
x
3
а
5,2
(y
5
)
8 а
5,2
x
3
a
6
(y
4
)
x
3
а
5,2
(y
5
)
9 a
6
1 a
7
(y
k
)
В соответствии с табл.3.5 минимальная отмеченная СКУ и СВФ
автомата Мура имеют вид:
.)1(
;)()1(
;)()1(
.;)1(
;;)1(
;;)1(
;;)1(
;;)1(
;;)1(
6
7
3
2,51,56
3
2,51,52,5
714
1,5
2,5
5
2,31,34
6
4
14
2,3
1,51,3
3
211
1,3
2,3
2
2
11
2
1
1
0
1
4
5
3
1
2
3
2
1
a
ta
x
aata
x
aata
a
y
xa
ta
a
y
aata
a
y
xa
ta
aa
y
axa
ta
a
a
y
xa
ta
a
y
a
ta
k
y
y
y
k
y
y
y
y
y
y
В заключение отметим, что в случае, если структуру управляющего
автомата необходимо строить на основе модели ЦА Мили с минимальным
числом событий, а исходный алгоритм управления задан моделью ЦА Мура,
то минимизацию числа событий ЦА Мили можно выполнить на основе 
     S 0   a 0 ,       S1  a1, S 2  a2 ,            S 3  a3,1,         S 4 , S 8  a4 ,
     S 6 , S 7   a5,1, S 9   a6 , S k   a7 ,          S 5   a 3, 2 ,    S10   a5,2
будет иметь следующий вид (табл.3.5):
                                                                                          Таблица 3.5
                         ai(t)                     Xi,j(t)                         aj(t+1)(Yj)
     1                       2                       3                                   4
     1                       a0                      1                                 a1(y1)
     2                       a1                      x1                                a2(y2)
                                                        x1                            а3,1(y3)
     3                       a2                         1                             а3,1(y3)
     4                      а3,1                        1                             a4(y1)
     5                      a 3, 2                      1                             a4(y1)
     6                       a4                         x1                            a3,2 (y2)
                                                        x1                            а5,1(y3)
     7                      а5,1                        x3                            a6(y4)
                                                        x3                            а5,2(y5)
     8                      а5,2                        x3                            a6(y4)
                                                        x3                            а5,2(y5)
     9                       a6                         1                              a7(yk)

      В соответствии с табл.3.5 минимальная отмеченная СКУ и СВФ
автомата Мура имеют вид:
     a1y1 (t  1)  a 0 ;                                y1  a1;
     a 2y2 (t  1)  a1 x1;                              y 2  a 2  a3, 2 ;
     a3y,31 (t  1)  a1 x1  a 2 ;                      y3  a3,1  a5,1 ;
     a3y,22 (t  1)  a 4 x1;                           y 4  a6 ;
     a 4y1 (t  1)  a3,1  a3,2 ;                      y5  a5, 2 ;
     a5y,31 (t  1)  a4 x1;                            yk  a7 .
     a5y,52 (t  1)  (a5,1  a5, 2 ) x 3 ;
     a 6y4 (t  1)  (a5,1  a5, 2 ) x3 ;
     a 7yk (t  1)  a6 .
     В заключение отметим, что в случае, если структуру управляющего
автомата необходимо строить на основе модели ЦА Мили с минимальным
числом событий, а исходный алгоритм управления задан моделью ЦА Мура,
то минимизацию числа событий ЦА Мили можно выполнить на основе
                                                                                                        53

Страницы