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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

127
m
1
=
1 1 1 0 0 0 0 0 0 0
m
2
=
0 0 0 1 1 0 0 0 0 0
6) Поскольку S
6
∩m
1
и S
6
∩m
2
, то S
6
не войдет ни в m
1
, ни в m
2
,
поэтому образуется новое подмножество m
3
, в которое войдет S
6
в качестве
первого элемента
S
1
S
2
S
3
S
4
S
5
S
6
S
7
S
k
1
S
k
2
S
k
3
m
1
=
1 1 1 0 0 0 0 0 0 0
m
2
=
0 0 0 1 1 0 0 0 0 0
m
3
=
0 0 0 0 0 1 0 0 0 0
7) Поскольку S
7
∩m
1
и S
7
∩m
2
, S
7
∩m
3
= , то S
7
не войдет ни в m
1
, ни в
m
2
, а войдет m
3
S
1
S
2
S
3
S
4
S
5
S
6
S
7
S
k
1
S
k
2
S
k
3
m
1
=
1 1 1 0 0 0 0 0 0 0
m
2
=
0 0 0 1 1 0 0 0 0 0
m
3
=
0 0 0 0 0 1 1 0 0 0 
            m 1=   1   1    1   0    0   0    0   0    0    0
            m 2=   0   0    0   1    1   0    0   0    0    0

6) Поскольку S6∩m1 и S6∩m2 , то S6 не войдет ни в m1 , ни в m2 ,
поэтому образуется новое подмножество m3 , в которое войдет S6 в качестве
первого элемента
                  S1 S2 S3 S4 S5 S6 S7 Sk1 Sk2 Sk3
            m 1= 1     1   1   0   0     0    0   0    0    0
            m 2= 0     0   0   1   1     0    0   0    0    0
            m 3= 0     0   0   0   0     1    0   0    0    0

7) Поскольку S7∩m1 и S7∩m2 , S7∩m3= , то S7 не войдет ни в m1 , ни в
m2 , а войдет m3
                   S1 S2 S3 S4 S5 S6 S7 Sk1 Sk2 Sk3
              m 1= 1  1   1   0    0   0    0    0    0   0
              m 2= 0  0   0   1    1   0    0    0    0   0
              m 3= 0  0   0   0    0   1    1    0    0   0




                                                                        127

Страницы