Мугафаров М.Ф., Мухаметшин С.М. Исследование и логическое проектирование конечного автомата

51

.

&

1

C

R

S

J

K

T

C

R

S

J

K

T

C

R

S

J

K

T

C

R

S

J

K

T

1

q

1

q

2

q

3

q

4

x

1

x

1

4321

qqqq

1

q

1

q

2

q

3

q

4

q

C S R

.Рис.6. Схема, формирующая функцию ψ на JK-триггерах.

52

&

1

4321

qqqq

q

1

q

2

q

3

q

4

x

1

x

1

y

Рис.7. Схема, формирующая функцию ϕ.

53

Индивидуальные задания

Выполнить исследование и логическое проектирование конечного

частично определенного автомата по данным, приведенным в

таблицах 1-4. Для этого по соответствующему варианту:

1) составить таблицу поведения автомата и нарисовать граф;

2) найти систему булевых функций для возбуждения триггеров (JK

для четных вариантов и Т - для нечётных), реализующих функции

ψ;

3) определить булеву функцию для реализации функции ϕ;

4) составить логическую схему автомата, используя комбинационные

автоматы и триггеры.

Примечание: 1) X={x

1

;x

2

;x

3

;x

4

}, Y={0;1}, Q={q

1

,q

2

,q

3

,…, q

12

}.

Таблица 1

Текущее состояние при x

вх

=x

1

.

Вари

ант

q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12

1 q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;*

2 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0

3 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0

4 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0

5 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0

6 q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;*

7 q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;*

8 q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;*

9 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1

10 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1

11 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1

12 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1

13 q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;*

14 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0

15 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0

16 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0

54

17 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0

18 q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;*

19 q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;*

20 q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;*

21 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1

22 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1

23 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1

24 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1

25 q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*

26 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*; q9;1

27 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1

28 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

29 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

30 q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;*

31 q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;*

32 q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;*

33 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0

34 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0

35 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0

36 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0

37 q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;*

38 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1

39 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1

40 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

41 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

42 q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;*

43 q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;*

44 q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;*

45 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0

46 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0

47 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0

48 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0

49 q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;*

50 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1

51 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1

52 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1

53 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1

54 q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;*

55 q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;*

56 q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;*

57 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0

58 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0

59 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0

55

60 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0

Таблица 2

Текущее состояние при x

вх

=x

2

.

Вари

ант

q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12

1 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0

2 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0

3 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0

4 q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;*

5 q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;*

6 q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;*

7 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1

8 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1

9 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1

10 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1

11 q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;*

12 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0

13 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0

14 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0

15 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0

16 q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;*

17 q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;*

18 q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;*

19 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1

20 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1

21 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1

22 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1

23 q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*

24 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*; q9;1

25 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1

26 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

27 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

28 q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;*

29 q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;*

30 q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;*

31 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0

32 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0

33 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0

34 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0

35 q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;*

36 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1

37 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1

56

38 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

39 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

40 q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;*

41 q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;*

42 q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;*

43 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0

44 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0

45 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0

46 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0

47 q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;*

48 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1

49 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1

50 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1

51 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1

52 q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;*

53 q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;*

54 q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;*

55 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0

56 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0

57 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0

58 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0

59 q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;*

60 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0

Таблица 3

Текущее состояние при x

вх

=x

3

.

Вари

-ант

q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12

1 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0

2 q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;*

3 q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;*

4 q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;*

5 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1

6 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1

7 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1

8 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1

9 q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;*

10 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0

11 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0

12 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0

13 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0

14 q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;*

15 q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;*

57

16 q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;*

17 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1

18 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1

19 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1

20 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1

21 q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*

22 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*; q9;1

23 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1

24 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

25 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

26 q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;*

27 q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;*

28 q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;*

29 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0

30 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0

31 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0

32 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0

33 q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;*

34 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1

35 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1

36 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

37 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

38 q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;*

39 q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;*

40 q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;*

41 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0

42 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0

43 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0

44 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0

45 q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;*

46 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1

47 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1

48 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1

49 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1

50 q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;*

51 q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;*

52 q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;*

53 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0

54 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0

55 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0

56 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0

57 q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;*

58 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0

58

59 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;1 q2;0

60 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0

Таблица 4

Текущее состояние при x

вх

=x

4.

Вари

ант

q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12

1 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0

2 q7;* q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;*

3 q8;1 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;*

4 *;1 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1

5 *;1 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1

6 *;1 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1

7 *;* q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1

8 q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;*

9 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0

10 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0

11 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0

12 q9;* q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0

13 q10;* q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;*

14 q11;* q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;*

15 q12;1 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;*

16 *;1 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1

17 *;1 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1

18 *;1 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1

19 *;* q5;0 q6;0 q7;0 q8;0 q9;* q10;* q11;* q12;1 *;1 *;1 *;1

20 q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*

21 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;*; q9;1

22 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1

23 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

24 q1;* q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

25 q2;* q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;*

28 q3;* q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;*

29 q4;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;*

30 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0

31 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0

32 *;0 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0

33 *;* q9;1 q10;1 q11;1 q12;1 q1;* q2;* q3;* q4;0 *;0 *;0 *;0

34 q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;*

35 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1

36 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1

37 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1

38 q5;* q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1

59

39 q6;* q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;*

40 q7;* q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;*

41 q8;0 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;*

42 *;0 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0

43 *;0 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0

44 *;0 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0

45 *;* q9;1 q10;1 q11;1 q12;1 q5;* q6;* q7;* q8;0 *;0 *;0 *;0

46 q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;*

47 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1

48 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1

49 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1

50 q9;* q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1

51 q10;* q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;*

52 q11;* q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;*

53 q12;0 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;*

54 *;0 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0

55 *;0 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0

56 *;0 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0

57 *;* q5;1 q6;1 q7;1 q8;1 q9;* q10;* q11;* q12;0 *;0 *;0 *;0

58 q1;0 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;*

59 q2;0 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;0

60 q3;0 q4;0 q5;* q6;* q7;* q8;1 *;1 *;1 *;1 *;* q1;1 q2;0

60

Список литературы

1. Закревский А.Д. Логические основы проектирования

дискретных устройств. М.: Физматлит, 2007. 592 с.

2. Кузин Л.Т. Основы кибернетики. М.: Энергия, 1989. 584 с.

3. Кузнецов О.П. Дискретная математика для инженера. М.:

Лань, 2006. 400 с.

4. Пономарев В.Ф. Конечные автоматы. Калининград: КГТУ,

1999. 144 с.

5. Савельев А.Я. Прикладная теория цифровых автоматов. М.:

Высшая школа, 1987. 272 с.

6. Чебурахин И.Ф. Синтез дискретных систем и математическое

моделирование. М.: Физматлит, 2004. 248 с.

Мугафаров М.Ф., Мухаметшин С.М. Исследование и логическое проектирование конечного автомата

Подождите немного. Документ загружается.