сігналиВиходние сігналиZ1Z2Z3Z4W1W2W3W400000 ???? 000010001 ?? ?? 000020010 ?????? 000130011 ?????? 111140100 ?????? < span align = "justify"> 111150101 ?????? 001060110 ?????? 110170111 ?????? 010181000 ?????? 111191001 ?????? 0011101010 ?????? 1101111011 ?????? 0111121100 ???? 0001131101 ???? 0111141110 ????? ? 1000151111 ?????? 0101
1.3 ПОБУДОВА ГРАФА ПЕРЕХОДІВ АБСТРАКТНОГО АВТОМАТА І ТАБЛИЦІ ПЕРЕХОДІВ-ВИХОДІВ
Граф переходів автомата Милі будується на основі таблиці 1.2.1. При цьому передбачається, що останній символ кожного вхідного слова повинен переводить автомат в початковий стан. p align="justify"> У момент часу t = 0 автомат знаходиться в стані а0. При подачі в наступні моменти часу кожного вхідного сигналу z (t) автомат виробляє вихідний сигнал w (t) і переходить в новий стан. Порядок нумерації станів, відмінних від початкового, для абстрактного автомата байдужий. p align="justify"> Розглянемо для прикладу першу сходинку в таблиці 1.2.1. Під впливом нуля автомат переходить з а0 в а1 і виробляє сигнал ? . Під впливом другого нуля автомат з а1 переходить в а3 і виробляє сигнал ? . Під впливом третього нуля автомат з а3 переходить в А7 і виробляє сигнал 0. Під впливом четвертого нуля автомат з А7 переходить в А15 і виробляє сигнал 0. Далі під впливом першого ? автомат з А15 переходить в а31 і виробляє сигнал 0. Під впливом другого ? автомат з а31 переходить знову в а0 і виробляє сигнал 0. Міркуючи аналогічним чином можна побудувати інші гілки графа.
Граф переходів заданого автомата представлений на малюнку 1.3.1.
В
Малюнок 1.3.1 - Граф переходів автомата Милі
На основі отриманого графа побудуємо таблицю переходів-виходів.
...
