TechShape.ru

Информационные технологии

Основные разделы

Минимизация состояний автомата

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

ПЕРВИЧНАЯ МИНИМИЗАЦИЯ

Как видно из таблицы 1.3.1 состояния а31, а32, а50, а57 под воздействием α переходят в а0 и вырабатывают 0, следовательно, их можно объединить в одну группу. Рассуждения аналогичны и для остальных состояний.

Обозначим получившиеся состояния буквой "в" и перепишем таблицу переходов-выходов.

в0 = а0

в12 = а12

в24 = а24

в36 = а37

в1 = а1

в13 = а13

в25 = а25

в37 = а38

в2 = а2

в14 = а14

в26 = а26

в38 = а39

в3 = а3

в15 = а15

в27 = а27

в39 = а40

в4 = а4

в16 = а16

в28 = а28

в40 = а41

в5 = а5

в17 = а17

в29 = а29

в41 = а42

в6 = а6

в18 = а18

в30 = а30

в42 = (а43, а44, а47 - а49, а51 - а56, а58)

в7 = а7

в19 = а19

в31 = (а31, а32, а50, а57)

в43 = а45

в8 = а8

в20 = а20

в32 = а33

в44 = а46

в9 = а9

в21 = а21

в33 = а34

в10 = а10

в22 = а22

в34 = а35

в11 = а11

в23 = а23

в35 = а36

Таблица 1.4.1 - Таблица переходов-выходов

0

1

α

в0

в1/β

в2/β

-

в1

в3/β

в4/β

-

в2

в5/β

в6/β

-

в3

в7/0

в8/β

-

в4

в9/β

в10/β

-

в5

в11/β

в12/β

-

в6

в13/0

в14/β

-

в7

в15/0

в16/0

-

в8

в17/0

в18/1

-

в9

в19/1

в20/0

-

в10

в21/1

в22/0

-

в11

в23/1

в24/0

-

в12

в25/1

в26/0

-

в13

в27/0

в282/1

-

в14

в29/1

в30/0

-

в15

-

-

в31/0

в16

-

-

в31/0

в17

-

-

в32/0

в18

-

-

в33/1

в19

-

-

в34/1

в20

-

-

в35/0

в21

-

-

в36/1

в22

-

-

в37/1

в23

-

-

в38/1

в24

-

-

в39/0

в25

-

-

в40/1

в26

-

-

в41/1

в27

-

-

в42/0

в28

-

-

в42/1

в29

-

-

в43/0

в30

-

-

в44/1

в31

-

-

в0/0

в32

-

-

в42/0

в33

-

-

в42/1

в34

-

-

в42/1

в35

-

-

в31/1

в36

-

-

в42/1

в37

-

-

в42/0

в38

-

-

в42/1

в39

-

-

в42/1

в40

-

-

в42/0

в41

-

-

в42/1

в42

-

-

в0/1

в43

-

-

в31/0

в44

-

-

в42/0

Перейти на страницу: 1 2 3 4 5

Еще статьи

Проектирование микропроцессорной системы
Классический метод наблюдения за длительными процессами - применение самопишущих приборов, которые регистрируют измеряемую величину на каком-либо носителе (обычно на бумажной координатной ленте). Альтернативой такому подходу является применение цифровых систем сбора данных на базе микропроцессоров или о ...

Все права защищены! 2020 - www.techshape.ru