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

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

Результат:

1

2

3

4

q0

1

0

1

0

q1

0

-

-

1

q2

0

0

0

1

q3

1

0

0

1

q4

1

0

1

1

q5

0

1

0

0

q6

1

1

0

1

q7

1

1

1

1

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

1.

q0

q5

q1

q2

1

1

0

0

0

2

0

1

-

0

3

1

0

-

0

4

0

0

1

1

4.

q1

q2

q3

q4

1

0

0

1

1

2.

q0

q5

q3

q4

1

1

0

1

1

2

0

1

0

0

3

1

0

0

1

4

0

0

1

1

5.

q3

q4

q6

q7

1

1

1

1

1

2

0

0

1

1

3.

q0

q5

q6

q7

1

1

0

1

1

2

0

1

1

1

3

1

0

0

1

4

0

0

1

1

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

Результат:

1

2

3

4

5

q0

1

0

1

0

0

q1

0

0

1

1

0

q2

0

0

0

1

-

q3

1

0

0

1

-

q4

1

0

1

1

1

q5

0

1

0

0

-

q6

1

1

0

1

-

q7

1

1

1

1

1

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

1.

q0

q1

q2

q3

1

1

0

0

1

2

0

-

0

0

3

1

1

0

0

4.

q2

q3

q7

q4

1

0

1

1

1

2

0

0

1

0

3

0

0

1

1

2.

q0

q1

q5

q6

1

1

0

0

1

2

0

0

1

1

5.

q5

q6

q7

q4

1

0

1

1

1

2

1

1

1

0

3

0

0

1

1

3.

q0

q1

q7

q4

1

1

0

1

1

2

0

0

1

0

3

1

1

1

1

4

0

1

1

1

5

0

0

1

1