Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

II. МИКРОПОДХОД (до 90 минут)

Читайте также:
  1. Алгоритм перехода от автомата Мили к автомату Мура (до 40 минут)
  2. АНАЛИЗ КОНЕЧНЫХ АВТОМАТОВ. (до90 минут)
  3. Асинхронные автоматы (до 90 минут)
  4. Безопасность и ограниченность.( до 50 минут)
  5. Геометрическое и кубическое представление переключательных функций (до 90 минут)
  6. ДЕРЕВЬЯ ВЫВОДА ПРЕДЛОЖЕНИЙ.(до 45 минут)

 

При микроподходе задать структурный автомат – значит описать элементы, из которых он построен, и схему их соединения. Описание может производиться на различных уровнях детализации. Часто ограничиваются рассмотрением т.н.

канонической схемы построения автоматов; при этом элементы делят на две группы – функциональные элементы (автоматы с одним состоянием) и элементы памяти. Каноническая схема

состоит из двух функциональных блоков f и g с присоединенными к ним элементами памяти, в качестве которых используются автоматы Мура Ui, i=1…L. Блоки f и g построены из функциональных элементов. При данном способе задания структуру этих блоков не описывают, а задают (например, таблично) реализуемые ими вектор-функции.

f=< f1(a1, …, am, u1, …, uL), …, fk(a1, …, am, u1, …, uL) >:
Q1´…´QL´A ® Z1´…´ZL;

g=< g1(a1, …, am, u1, …, uL), …, gL(a1, …, am, u1, …, uL) >:
Q1´…´QL´A ® B,
где А и В -, соответственно, входной и выходной алфавиты канонической схемы. Эта схема задает структурный автомат <A, Q, B, d,l >.

Для описания структурных автоматов часто используются канонические уравнения, т.е. системы вида

q1(1)=q0,

qL(1)=q0,

q1(t+1)= f1(q1(t), …, qL(t), a1(t), …, am(t)),

.............................................................

qL(t+1)= fL(q1(t), …, qL(t), a1(t), …, am(t)),

b1(t)= g1(u1(t), …, uL(t), a1(t), …, am(t)),

.............................................................

yk(t+1)= gk(u1(t), …, uL(t), a1(t), …, am(t)),

где t=1, 2, 3… - целочисленный параметр, q0ÎQ, а функции fi, (i=1…L), gj, (i=1…k) реализуются подавтоматами с одним состоянием. Приведенной системе соответствует каноническая схема, в которой все элементы памяти совпадают.

 
 

Пример: Пусть U=<A, Q, B, d,l > имеет Q={ q0 , q1}, A={ a0 , a1, a2 , a3}, B={ b0 , b1}, а функции d и l определены графом

Каноническую систему уравнений рассматриваемый автомат получает, если закодировать его алфавиты следующим образом:

a0Þ<0, 0>, a1Þ<0, 1>, a2Þ<1, 0>, a3Þ<1, 1>; q0Þ<0>, q1Þ<1>; b0Þ<0>, b1Þ<1>,

и построим таблицы соответствий для d и l:

 

ai qj(t) q(t+1) b(t) aj qj(t) q(t+1) b(t)
x1 x2
                   
                   
                   
                   

 

Используя СДНФ имеем следующую систему канонических уравнений:

q(t+1)= `x1(t) x2(t)q(t) Ú x1(t)` x2(t)q(t) Ú x1(t) x2(t)

q(t) Ú x1(t) x2(t)q(t); b(t)= x1(t) x2(t)q(t)

Упрощая, имеем систему:

q(t+1)= x1(t)x2(t) Ú (x1(t)Ú x2(t)) q(t); b(t)= x1(t) x2(t)q(t),

а соответствующую ей схему

 

 
 

Пример: Каноническая схема логического автомата описывается следующей системой канонических уравнений:


Поведение этого автомата следующее:

Лекция №8.

Анализ КА

Продолжительность: 2 часа (90) минут

Ключевые (основные) вопросы (моменты)

Текст лекции

 


Дата добавления: 2015-12-01; просмотров: 56 | Нарушение авторских прав



mybiblioteka.su - 2015-2024 год. (0.006 сек.)