4.2 Перехід від ДСА МП до графу абстрактного автомата Мура
Перехід здійснюється так само в два етапи. На першому етапі проводиться визначення числа станів шляхом розмітки і позначки граф-схеми; на другому - визначення графа автомата.
Правила розмітки:
- символом
помічаємо початкову і кінцеву вершини ГСА прошивки. - символами
помічаємо операторні вершини, ( рис.4.7, б ). - Різні вершини ГСА повинні бути позначені різними мітками.
На другому етапі проводимо побудову графа автомата Мура, причому мітки відповідають вершинам графа, всередині яких записується вихідний сигнал, оскільки в автоматі Мура вихідний сигнал залежить тільки від стану і не залежить від вхідного сигналу.
В результаті аналізу розмітки бачимо, що між парами міток маємо шляху другого і третього виду. Кожному шляху ставимо відповідний перехід.
Побудова автомата Мура розглянемо на прикладі ДСА МП, представленої на рис.4.8 .
На першому етапі виконаємо розмітку згідно із зазначеними вище правилами. Отримуємо шість міток ( рис.4.8 ).
На другому етапі будуємо граф автомата Мілі. Маємо шість вершин графа відповідних шести станів. Усередині кожної вершини записуємо відповідний вихідний сигнал.
За ДСА знаходимо все шляху між сусідніми мітками. Так з мітки в мітку 
існує один шлях третього типу, тобто безумовний перехід. Цей шлях зображується дугою переходу зі стану в стан .
Розглянемо шляхи, що йдуть від мітки . Всього їх три. Перший шлях з в 
проходить через умовну вершину 
тобто це шлях другого виду, відповідний переходу зі стану в стан за умовою 
. Другий шлях проходить через умовні вершини і 
, Тобто це теж шлях другого виду, відповідний переходу зі стану 
в стан 
за умовою 
. Третій шлях з в 
проходить через умовні вершини і , Тобто це шлях другого виду, відповідний переходу зі стану в стан за умовою . Результат побудованого абстрактного автомата Мілі показаний на рис. рис.4.9 /
4.3 Абстрактний С-автомат (суміщений автомат)
Дуже часто в керуючих пристроях потрібні сигнали обох типів: першого роду як в абстрактному автоматі Мілі і другого роду як в абстрактному автоматі Мура. В автоматі Мілі вихідний сигнал залежить як від стану, так і від вхідного сигналу і формується в той же дискретний інтервал часу, в якому надходить вхідний сигнал ( рис.4.10, а ).
В автоматі Мура вихідний сигнал залежить тільки від стану, і видається все той час, коли автомат перебуває в цьому стані ( рис.4.10, б ):
Суміщений автомат або 
- автомат таким чином містить сигнали як першого роду, так і другого і описується вісімкою виду:
де 
- безліч станів автомата;
- безліч вхідних сигналів;
- безліч вихідних сигналів 1 роду;
- безліч вихідних сигналів 2 роду;
При графічному завданні 
- автомата на переходах вказуються вихідні сигнали 1 роду 
, А в вершинах вихідні сигнали 2 роду 
( ріс.4.11 ).
явна завдання - автомата вимагає опис всіх складових і виконується так само як і для автоматів Мілі і Мура.
табличне завдання - автомата полягає в поданні роботи автомата двома таблицями: таблицею переходів ( табл.4.1 ) І таблицею виходів ( табл.4.2 ), В якій на відміну від автомата Мілі в верхньому рядку додаються сигнали другого роду.
Таблиця 4.1. z \ a a1 a2 a3 z1 a 3 a 1 a 1 z2 a1 a3 a2 Таблиця 4.2. \ Uh u1 u3 u2 z \ a a1 a2 a3 z1 w1 w1 w2 z2 w1 w2 w1
матричне завдання - автомата полягає в описі двома матрицями аналогічно матричному поданням автоматів Мілі і Мура.
