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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

132
S
0
3
x
n
S
0
y
5
x
0
1
0
x
2
0
y
6
S
k
3
(y
k
3
)
S
B
6
1
0
1
7
x
4
1
0
x
1
1
0
Для построения структуры всех п/А по их СКУ необходимо выполнить
следующие процедуры:
а) Кодирование событий (состояний) в каждой из групп m
1
, m
2
, m
3
и m
4
несовместимых событий, реализуемых одним из подавтоматов.
m
1
Q
1
Q
2
Q
3
m
2
Q
4
Q
5
m
3
Q
6
Q
7
m
4
Q
8
Q
9
S
0
1
0 0 0
S
0
2
0 0 S
0
3
0 0 S
0
4
0 0
S
1
0 0 1
S
4
0 1 S
6
0 1 S
8
1 0
S
2
0 1 0
S
5
1 0 S
7
1 0 S
9
0 1
S
3
0 1 1
S
k
2
1 1 S
k
3
1 1
S
k
1
1 0 0
Внутри каждой группы несовместимых событий примем произвольное
максимальное кодирование.
б) Построение СКУ для Q-событий для каждого п/А.
Будем предполагать, что в качестве элементов памяти приняты Д-триггеры.
Тогда по таблице кодирования и по СКУ для каждого из п/А получим СКУ
для Q-событий. 
                                                                x0

                                               S03

                                      0        xnS0
                                                   1
                                      1         x2        0
                       7                                  6
                            y5                                       y6

                   0        x4                                       x1   0

                                 1                                    1


                                              Sk3(yk3)

                                      1         SB        0


      Для построения структуры всех п/А по их СКУ необходимо выполнить
следующие процедуры:
а) Кодирование событий (состояний) в каждой из групп m1 , m2 , m3 и m4
несовместимых событий, реализуемых одним из подавтоматов.

    m1 Q1Q2Q3              m2        Q 4Q 5              m3      Q6Q7         m4    Q8Q9
    S01 0 0 0              S02       0 0                 S03     0 0          S04   0 0
    S1 0 0 1               S4        0 1                 S6      0 1          S8    1 0
    S2 0 1 0               S5        1 0                 S7      1 0          S9    0 1
    S3 0 1 1               Sk2       1 1                 Sk 3    1 1
    Sk 1 1 0 0

Внутри каждой группы несовместимых событий примем произвольное
максимальное кодирование.
б) Построение СКУ для Q-событий для каждого п/А.
Будем предполагать, что в качестве элементов памяти приняты Д-триггеры.
Тогда по таблице кодирования и по СКУ для каждого из п/А получим СКУ
для Q-событий.




                                                                                           132

Страницы