Противогоночное кодирование конечных автоматов

Страницы работы

Содержание работы

20121224_024953.jpg

20121224_025016.jpg
20121224_025038.jpg

а)  Развязывание переходов в М00)

Результат:

1

2

q0

1

0

q1

0

-

q2

0

-

q3

1

0

q4

1

0

q5

0

-

q6

1

1

q7

1

1

Развязка пар переходов по шагам:

1.

q1

q2

q3

q0

1

0

0

1

1

4.

q3

q0

q5

q5

1

1

1

0

0

2.

q1

q2

q4

q0

1

0

0

1

1

5.

q3

q0

q6

q7

1

1

1

1

1

2

0

0

1

1

3.

q1

q2

q6

q7

1

0

0

1

1

6.

q4

q0

q6

q7

1

1

1

1

1

2

0

0

1

1

б)   Развязывание переходов в М11)

Результат:

1

2

3

q0

1

0

1

q1

0

-

-

q2

0

0

0

q3

1

0

0

q4

1

0

1

q5

0

1

0

q6

1

1

0

q7

1

1

1

Развязка пар переходов по шагам:

1.

q1

q1

q7

q0

1

0

0

1

1

4.

q2

q3

q7

q0

1

0

1

1

1

2

0

0

1

0

3

0

0

1

1

2.

q2

q3

q4

q0

1

0

1

1

1

2

-

0

0

0

3

0

0

1

1

5.

q4

q0

q5

q6

1

1

1

0

1

2

0

0

1

1

3.

q2

q3

q5

q6

1

0

1

0

1

2

0

0

1

0

6.

q5

q6

q7

q0

1

0

1

1

1

2

1

1

1

0

3

0

0

1

1

Похожие материалы

Информация о работе