Лекции::

Дополнительно:

Методы абстрактного синтеза

После построения таблицы проведем второй этап минимизации числа внутренних состояний автомата. Можно объединить состояния, отмеченные индексами: 0 и 1v3, 4 и 3v6, 5 и 3v8. При этом состояния отмеченные звездочкой обозначим через 10, а состояния 1v3 – 0, 3v6 – 4, 3v8 – 5.

Yg

E

e

y3

e

e

e

e

y1

e

y2

e

e

e

e

xj\ai

0

1

2

3

4

5

6

7

8

9

1v3

3v6

3v8

*

Xr

1v3

1

1v3

3

3v6

3v8

6

1v3

8

1v3

1v3

3v6

3v8

*

x01

4

*

4

4

4

4

*

3

*

4

4

4

4

*

x10

5

*

5

5

5

5

*

5

*

5

5

5

5

*

Xs

2

2

2

*

7

9

7

2

9

2

2

7

9

*

По построенной таблице проведем третий этап минимизации, исключив такие состояния, а которые автомат из нулевого состояния никогда перейти не может. В нашем случае такими состояниями являются 1, 3, 6, 8 и 10.

предыдущаяследующая