Таблиця 1.3.1 - Таблиця переходів-виходів
01 ? a0a1/ ? < span align = "justify"> a2/ ? -a1a3/ ? a4/ ? -a2a5/ ? a6/ ? -a3a7/0a8/ ? -a4a9/ ? a10/ ? -a5a11/ ? < span align = "justify"> a12/ ? -a6a13/0a14/ ? .4 МІНІМІЗАЦІЯ СТАНІВ АВТОМАТА
Мінімізація числа станів виконується в два етапи. На етапі первинної мінімізації необхідно знайти і об'єднати в одну всі стани, що мають однакові вихідні символи і при переході виробляють однакові стану. Другий етап мінімізації проводиться за допомогою трикутної таблиці. br/>
1.4.1 ПЕРВИННА МІНІМІЗАЦІЯ
Як видно з таблиці 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 - Таблиця переходів-виходів
01 ? в0в1/ ? < span align = "justify"> в2/ ? -в1в3/ ? В4/ ? -в2в5/ ? В6/ ? -в3в7/0в8/ ? -в4в9/ ? в10/ ? -в5в11/
