- •Т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  | 
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
	
  | 
Таблицы переходов и выходов
•Поскольку функции и
определены на конечных множествах, их можно задавать таблицами. Обычно две таблицы сводят в одну таблицу : и
называют таблицей переходов- выходов или просто таблицей переходов (автоматной таблицей).
