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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

41
.)1(
;)1(
);()(
)()1(
;)1(
;)(
)()1(
);()1(
;)()1(
;)1(
;)1(
;)1(
4
93
1
8
4
3735
4
3
1
39
3
2
1
64
3
2
1
442
1
28
2
131
3
1843
43
73216
31
2
1
43
4
1
3
4
2127
32
64
32
44
2
26
49
3
21864
3
7
3
5
4
3
214342122115
43
2432
4
2
114
32
1
632
14
2
1
4
4
2
1
22
1
13
3
2
6
4
3
2
4
42
2
21
12
101
0
1
00
x
ax
x
a
x
xaxa
x
x
x
a
t
a
x
x
x
ax
x
x
x
axx
x
a
t
a
x
xxx
x
xaxx
xx
axxxa
xx
x
x
xx
x
x
a
x
xxa
t
a
xx
ax
xx
ax
x
a
t
a
xa
x
xxaax
x
a
x
a
x
x
xxaaxxxaxxa
t
a
xx
xxxx
a
x
xa
t
a
xx
x
axx
xx
x
x
a
x
x
x
ax
x
a
t
a
x
x
a
x
x
x
a
xx
a
xx
a
t
a
xa
t
a
x
x
a
t
a
(2.3)
е) Система выходных функций для детерминированного полностью
определенного автомата Мура в соответствии с (2.2) и (1.3) будет иметь вид:
.
;
;
;
;
V
VV
VV
V
12
2
4
12
10
8
3
3
12
10
7
3
1
2
12
10
6421
1
0
0
a
y
aa
y
aaa
y
aaaaa
y
a
y
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
(2.4)
ж) Систему выходных функций для детерминированного полностью
определенного автомата Мили, эквивалентного автомату Мура, получим
исходя из (2.2), (1.4) и принятой системы замены переменных. Она будет
иметь такой вид: 
       a 0 (t  1)  a0 x1  x0 ;
       a1 (t  1)  a0 x1;
       a 2 (t  1)  a1 x1 x2  a2 x 2 x4  a4 x2 x3 x4  a6 x2 x3 ;
       a3 (t  1)  a1 x1 x2  a 2 x1 x 2 x4  a 4 ( x1 x 2 x4  x1 x2 x3)  a 6 x1 x2 x3 ;
       a 4 (t  1)  a1 x1 x2  a 4 ( x2 x3 x4  x2 x3 x4);
       a5 (t  1)  a1 x1 x2  a 2 x1 x 2 x4  (a3  a 4) x1 x2 x3 x4 
                                                                                              (2.3)
        a5 x3  a7 x3 x4  (a6  a8) x1 x 2 x3  a9 x 4 ;
       a6 (t  1)  a2 x2 x 4  a4 x2 x3 x 4  a6 x2 x3 ;
       a7 (t  1)  a2 x1 x2 x4  a3 ( x1 x 4  x3 x 4  x1 x2  x1 x3) 
        a6 x1 x 2 x3  a 7 ( x3 x4  x3 x4)  a8 ( x1 x3  x1 x3  x1 x2 );
       a8 (t  1)  a 2 x1 x2 x4  a 4 x1 x 2 x3 x4  a6 x1 x2 x3 ;
       a9 (t  1)  a3 x1 x3 x4  a5 x3  a7 x3 x4  a8 x1 x3  a9 x4 .

     е) Система выходных функций для детерминированного полностью
определенного автомата Мура в соответствии с (2.2) и (1.3) будет иметь вид:
                 y0  a0 ;
                                                    k 12
                      y1  a1  a 2  a 4  a6     V ak ;
                                                    k 10
                            k 3      k 10
                      y2  V ak      V    a k  a12 ;                                (2.4)
                            k 1      k 7
                            k 8      k 12
                      y3  V a k     V ak ;
                            k 3      k 10
                            k 12
                      y4  V ak .
                            k 2
     ж) Систему выходных функций для детерминированного полностью
определенного автомата Мили, эквивалентного автомату Мура, получим
исходя из (2.2), (1.4) и принятой системы замены переменных. Она будет
иметь такой вид:




                                                                                                      41

Страницы