Professional Documents
Culture Documents
Теорія Автоматів - Нова Лекція
Теорія Автоматів - Нова Лекція
xk
Ai/yi Aj/yj
xk / ym
Аі Аj
Робота автомата Мілі полягає в перетворенні вхідного слова в вихідний.
Різниця в роботі автомата Мура і автомата Мілі в тому, що в автоматі Мура
вихідний символ можна зчитувати відразу після установки його в початковий
стан і подачі на його вхід першого вхідного символу, але при цьому треба
враховувати, що цей символ не є реакцією на вхідний символ, а визначається
тільки початковим станом автомата Мура.
Автомат називається частковим, якщо деякі комбінації “стан – вхідний
сигнал” не можуть виникнути в реальних умовах. При цьому у графі автомату
з'являються стани, з яких визначені виходи не для усіх вхідних сигналів (тобто
присутні не усе стрілки), а в таблицях переходів і виходів (і в зазначеній
таблиці переходів) мають місце порожні клітинки. Для виконання
эквівалентних перетворень, як і для структурного синтезу, необхідно
довизначити частковий автомат. Перехід і виходи зазвичай довизначають,
виходячи з міркувань зручності мінімізації.
A B C F
a B,C - F -
b B C,F - -
A → aB A:: = aB / bB / aC
A → bВ B:: = bC / b
A → aC C:: = a
B → bC
B→b
C→a
Граматики такого роду називають регулярними або автоматними.
Автомати такого типу будуть розглядатися у зв’язку із вивченням теорії
формальних мов і граматик.
4.5. Приклади побудови скінчених автоматів за функціональним
описом задачі
Абстрактна теорія автоматів виділяє способи використання автоматів:
перетворення вхідної послідовності символів у вихідну (синтез дискретних
пристроїв) і перевірка правильності вхідної послідовності символів (синтез
програмних аналізаторів); аналіз поведінки автомата або видати у якості
відповіді на вхідне слово вихідне слово у заданому алфавіті при наявності
опису дії автомата у вигляді таблиць виходів та переходів.
Приклади.
1. Автомат заданий множиною станів Q = {A, B, C}, множиною вхідних і
вихідних сигналів X = Y = {0,1} і таблицями переходів(1) і виходів(2).
Початковий стан – А.
Табл.1 Табл.2
А В С А В С
0 В А А 0 0 0 1
1 С А А 1 1 1 0
Сформувати вихідне слово, якщо на вхід подано 10110001.
Цей автомат реалізує булеву функцію «додавання за модулем 2» (ху)
двох двійкових чисел, які подаються на вхід за розрядами по черзі. У прикладі
вхідне слово 10110001 сформовано з двох двійкових чисел 1100 та 0101.
Відповіддю має бути «додавання за модулем 2» за розрядами – число 1001.
Але насправді, автомат – «чорний ящик», і в задачах аналізу його дії ми не
можемо встановити, яку функцію він реалізує.
такт 1 2 3 4 5 6 7 8
стан А С А С А В А В А
вхід 1 0 1 1 0 0 0 1
вихід 1 1 1 0 0 0 0 1
перехід С А С А В А В А
в стан
0/0
А
В
0/0
1/1 1/1
0/1
1/0
2 (/П) 1, 3 (/Н)
2 (/Н)
апП анН
1,3 (/ П)
2/К; 3/П а1
3/К
1/Н
а0 1/Н
2/Н
1/К; 2,3/П
а2
такт 1 2 3 4 5 6 7 8 9
стан S A S A S B S A S S
вхід a a a a b b a a R
вихід a a a a b b a a Y
перехід S A S A S B S A S S
в стан
aaaabaaR
такт 1 2 3 4 5 6 7 8
стан S A S A S B N N S
вхід a a a a b a a R
вихід a a a a b a a N
перехід S A S A S B N N S
в стан
Табличний вигляд:
x/A S A B N
a A/a S/a N/a N/a
b B/b N/b S/b N/b
R S/yes S/no S/no S/no