Автомат Мілі

Автомат Мілі (англ. Mealy machine) - кінцевий автомат, вихідна послідовність якого (на відміну від автомата Мура) залежить від стану автомата і вхідних сигналів. Це означає, що в графі станів кожному ребру відповідає деяке значення (вихідний символ). У у вершини графа автомата Мілі записуються сигнали, що виходять, а дугам графа приписують умову переходу з одного стану в інше, а також вхідні сигнали. Кодування автомата Мілі: Вершина (операторна або логічна),стоящая після вершини "Початок",а також вхід вершини "Кінець" позначається символом S1,вершини,стоящие після операторних позначаються символом Sn (n=2,3..).

Діаграма станів автомата Мілі (Граф автомата)

У автоматі Мілі (англ. Mealy machine) функція виходів л визначає значення вихідного символу за класичною схемою абстрактного автомата. Математична модель автомата Мілі і схема рекурентних співвідношень не відрізняються від математичної моделі і схеми рекурентних співвідношень абстрактного автомата. Таким чином, можна дати наступне визначення:

Кінцевим детермінованим автоматом типа Мілі називається сукупність п'яти об'єктів:

де S, X і Y - кінцева непорожня множина, а - відображення вигляду:

із зв'язком елементів множини S, X і Y в абстрактному часі T = {0, 1, 2, .} рівняннями:

(Відображення отримали назви, відповідно функції переходів і функції виходів автомата A).

Особливістю автомата Мілі є те, що функція виходів є двохаргументною і символ у вихідному каналі y(t) виявляється лише за наявності символу у вхідному каналі x(t). Функціональна схема не відрізняється від схеми абстрактного автомата.

<== попередня сторінка	\|	наступна сторінка ==>
Визначення та властивості скінченого автомату	\|	Автомат Мура

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.004 сек.