1.2 Перетворювачі (Трансдуктори)
Перетворювачі виробляють вихід, що базується на даному вході і/або на станах з використанням дій. Вони використовуються для керування і в галузі математичної лінгвістики. Тут вирізняють два типи:
Автомат Мура
СА використовує тільки вхідні дії, тобто, вихід базується тільки на стані. Перевагою моделі Мура є спрощення поведінки. Уявімо двері підйомника. Автомат розпізнає дві команди: "відчинити" і "зачинити", які викликають зміну стану. Вхідна дія (E:) в стані «Відчиняються» змушує двигун відчиняти двері, вхідна дія в стані «Зачиняються» змушує двигун зачиняти двері. Стани Відчинено і Зачинено зупиняють мотор коли двері повністю відчинені або зачинені. Вони повідомляють зовнішній світ (наприклад, інші автомати) ситуація: «двері відчинені» або «двері зачинені».
Автомат Мілі
СА, що використовує тільки вхідні дії, тобто, вихід базується на вході і стані. Використання СА Мілі часто призводить до зменшення кількості станів. Приклад на малюнці показує СА Мілі реалізуючий однакову поведінку із прикладом автомата Мура. Присутні дві вхідні дії (I:): «запустити двигун для закриття дверей якщо прийшла команда зачинити» і «запустити мотор в іншому напрямку якщо для відчинення дверей якщо прийшла команда відчинити». Проміжні стани «Відчинення» і «Зачинення» не показані.
1.2.1 Автомат Мілі
Рисунок 5 Автомат Мілі
Wk = ψ(Pi, Sj)
W (t+1) = ψ (P(t), S(t))
Нове вихідне слово в автоматі Міля визначається станом, у якому був автомат і вихідне слово, що надійшло на автомат.
Був у стані → надійшов у стан.
Автомат Мілі P, W, S, s0 .
Функції виходу задаються трьома способами:
перерахування
φ:
S1 = φ(S0, P1) – попередній вплив – новий стан
S2 = φ(S1, P2)
…
Sm-1 = φ(Sm-2, P0)
ψ:
W1 = ψ (S0, P1)
W2 = (S1, P2)
…
Wl-1 = ψ (Sm-1, P0)
Табличний спосіб
Pj |
P0 |
P1 |
… |
Pn-1 |
Si |
||||
S0 |
S1 |
S2 |
… |
S3 |
S1 |
S2 |
S3 |
… |
… |
… |
… |
… |
… |
… |
Sm-1 |
S0 |
… |
… |
… |
Таблиця виходів для ψ
Pj |
P0 |
P1 |
… |
Pn-1 |
Si |
||||
S0 |
W0 |
W1 |
… |
Wl-1 |
S1 |
W1 |
W2 |
… |
… |
… |
… |
… |
… |
… |
Sm-1 |
W0 |
… |
… |
… |
Дві таблиці відрізняються тільки з'єднанням внутрішніх кліток, тому з метою спрощення їх поєднують і приводять у вигляді так називаної сполученої таблиці переходів і виходів.
Pj |
P0 |
P1 |
… |
Pn-1 |
Si |
||||
S0 |
S1/W0 |
S2/W1 |
… |
S3/Wl-1 |
S1 |
S3/W1 |
S2/W2 |
… |
… |
… |
… |
… |
… |
… |
Sm-1 |
S0/W0 |
… |
… |
… |