Синтез асинхронных конечных автоматов, страница 3

2                                   3                                  5                                  8                                            

2                                 4                                   6                                  9         (4)                                 

                                                    7       (5)

2.       Кодирование столбцов ТП

a

a1

a2

a3

a4

S\Y

Y1

Y2

Y3Y4

Y5

1

0

0

00

0

2

1

0

00

0

3

1

1

01

0

4

0

0

01

0

5

0

1

10

1

3.  Кодированная ТП

Разделяющие переменные

Y1

Y2

Y3 Y4

Y5

S

a

a1

a2

a3

a4

y1y2y3y4y5

x

00 (x1x2)

01 (x1x2)

10 (x1x2)

11 (x1x2)

1

00000

(00000)

(00000)

10000

(00000)

2

10000

11010

00000

(10000)

00000

3

11010

(11010)

01100

00011

00000

4

00011

00000

00000

(00011)

(00011)

5

01100

00000

(01100)

(01100)

00000

6

00001

00000

00000

10000

00011

7

00010

00000

00000

00011

00000

8

00100

00000

00000

01100

00000

9

00101

00000

00000

01100

00011

10

00110

00000

00000

00110

00000

11

00111

00000

00000

00110

00011

12

01000

00000

01100

10000

00000

13

01001

00000

01100

10000

00011

14

01010

00000

01100

00011

00000

15

01011

00000

01100

00011

00011

16

01101

00000

01100

01100

00011

17

01110

00000

01100

00110

00000

18

01111

00000

01100

00110

00011

19

10001

11010

00000

10000

00011

20

10010

11010

00000

00011

00000

21

10011

11010

00000

00011

00011

22

10100

11010

00000

01100

00000

23

10101

11010

00000

01100

00011

24

10110

11010

00000

00110

00000

25

10111

11010

00000

00110

00011

26

11000

11010

01100

10000

00000

27

11001

11010

01100

10000

00011

28

11011

11010

01100

00011

00011

29

11100

11010

01100

01100

00000

30

11101

11010

01100

01100

00011

31

11110

11010

01100

00110

00000

32

11111

11010

01100

00110

00011