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

Так как число состояний автомата равно 8, то для их представления требуется три элемента памяти, а в результате противогоночного кодирования получен автомат с пятью элементами памяти, то необходимо минимизировать число элементов памяти. Выполним минимизацию:

а) Вычеркнем  столбец  

2

3

4

5

6

q0

0

1

0

0

1

q1

0

1

1

0

0

q2

0

0

1

-

0

q3

0

0

1

-

1

q4

0

1

1

1

1

q5

1

0

0

-

-

q6

1

0

1

-

-

q7

1

1

1

1

1

Пары (q1,q2) (q3,q0); (q1,q2) (q4,q0); (q1,q1) (q7,q0) не развязаны. Добавим столбец , чтобы их развязать.

б) Вычеркнем  столбец  

3

4

5

6

7

q0

1

0

0

1

0

q1

1

1

0

0

-

q2

0

1

0

0

0

q3

0

1

1

1

0

q4

1

1

1

1

0

q5

0

0

1

0

1

q6

0

1

1

-

1

q7

1

1

1

1

1

Пары (q3,q0) (q6,q7); (q2,q3) (q5,q6); (q3,q4) (q6,q7) не развязаны. Добавим столбец , чтобы их развязать.

в) Вычеркнем  столбец  

4

5

6

7

8

q0

0

0

1

0

1

q1

1

0

0

-

1

q2

1

0

0

0

0

q3

1

1

1

0

0

q4

1

1

1

0

1

q5

0

1

0

1

-

q6

1

1

0

1

-

q7

1

1

1

1

1

Пары (q2,q3) (q4,q0); (q2,q3) (q7,q0); (q0,q1) (q2,q3) ; (q2,q3) (q7,q4)  не развязаны. Добавим столбец , чтобы их развязать.

г) Вычеркнем  столбец