- •Т1. Лекция 7.
- •ТЕОРИЯ АВТОМАТОВ
- •ЧТО ТАКОЕ АВТОМАТ?
- •Автоматоны Дро
- •Автоматоны
- •Автоматоны
- •Художник
- •Калиграф
- •Автомаат-оружие
- •ТЕОРИЯ АВТОМАТОВ
- •Автоматизация
- •Автоматизированные системы
- •Автоматизация
- •СИСТЕМЫ АВТОМАТИЗАЦИИ
- •Робот-гуманоид ASIMO, производство Honda
- •Космические аппараты
- •Военная техника
- •Военная техника
- •Военная техника
- •Данный прототип показывает лишь примерный облик того
- •Учёные взялись за дело всерьёз,
- •Япония готовится принять на
- •1.ПОНЯТИЕ О КОНЕЧНОМ
- •Функция переходов
- •Функция выходов
- •Автоматы Мили и Мура
- •«Чёрный» ящик
- •Таблицы переходов и выходов
- •Техническая интерпретация автоматов
- •Техническая интерпретация автоматов
- •Техническая интерпретация автоматов
- •2.Комбинационный автомат
- •Комбинационный автомат
- •Комбинационный автомат
- •3.Задачи теории конечных автоматов
- •Синтез автоматов
- •Синтез автоматов
- •Синтез автоматов
- •Абстрактный синтез
- •4. Пример абстрактного синтеза КА
- •Пример абстрактного синтеза КА
- •Пример абстрактного синтеза КА
- •Пример абстрактного синтеза КА
- •5.Структурный синтез КА
- •Получение схемы
- •Моделирование в Electronics Workbench
- •Верификация проекта:
- •Минимизация ПФ с помощью логического конвертора:
- •Генерация схемы И,ИЛИ,НЕ
- •Генерация схемы И-НЕ
Военная техника
Данный прототип показывает лишь примерный облик того
искусственного сердца, которое должно быть создано в следующие четыре года техасскими учёными
Учёные взялись за дело всерьёз,
и затянувшаяся пьеса "В ожидании искусственного
интеллекта" не означает, что он совсем не придёт.
• роботы
Япония готовится принять на
работу 3,5 миллиона роботов
• Роботы
1.ПОНЯТИЕ О КОНЕЧНОМ
АВТОМАТЕ.
• Конечным автоматом (просто автоматом)
называется система (пятерка): S=<X,Y,Z, , >,
•в которой Х={х1,х2,...,хi} – конечное входное множество (входной алфавит); Y={y1,y2,...,yj} – конечное множество внутренних состояний автомата (алфавит состояний); Z={z1,z2,...,zk} – конечное выходное множество (выходной алфавит);– функция переходов (из состояния в другие состояния); – функция выходов.
Функция переходов
•Функция переходов представляет собой отображение : X X Yили в другом виде:
•y(t+1)= [x(t),y(t)],
•где x(t), y(t), y(t+1) – конкретные символы алфавитов Х и Y соответственно в моменты автоматного времени t, t+1 (в тактах t и t+1); y(t) – называется текущим внутренним состоянием при соответствующем х(t), а y(t+1) – последующим внутренним состоянием.
•Иначе говоря, функция переходов определяет последующее состояние автомата по заданному текущему и входному символу.
Функция выходов
•Функция выходов представляет собой отображение : Х Y Z или в другом виде:
•z(t)= [x(t),y(t)],
•где x(t), y(t), z(t) – конкретные символы алфавитов X,Y,Z соответственно. Мы не будем особо выделять последующие значения x(t+1) и z(t+1), поэтому зависимость от t будем указывать только для внутреннего состояния, чтобы отделять y(t) от y(t+1).
Автоматы Мили и Мура
•Функция выходов: z(t)= [x(t),y(t)] – функция так называемого автомата Мили.
•В теории конечных автоматов рассматривается также автомат Мура, у которого функция выходов проще – : или z(t)= [y(t)].
«Чёрный» ящик
• КДА
|
|
К |
А |
|
|
|
|
В х о д н о й |
В н у т р е |
н н е е |
В ы х о д н о й |
||||
с и м в о л |
с о с т о я н |
и е |
с и м в о л |
||||
x i |
X |
y |
|
Y |
|
z j |
Z |
|
|
|
|
|
|
|
|
Таблицы переходов и выходов
•Поскольку функции и
определены на конечных множествах, их можно задавать таблицами. Обычно две таблицы сводят в одну таблицу : и
называют таблицей переходов- выходов или просто таблицей переходов (автоматной таблицей).