Реферат: ПТЦА - Прикладная теория цифровых автоматов

Для получения 2-эквивалентных состояний  строим  таблицу 1-разбиения  (табл.17),  заменяя в таблице переходов состояния a1 соответствующими классами эквивалентности B1 или B2. 

Из полученной таблицы 1-разбиения получаем 2-классы  эквивалентности  Ci  и разбиение p2  = {C1, C2, C3},  где С1 = {a1, a1}, C2 = {a5, a6},  C3 = {a3, a4}.  Сравнивая p2 и p1, отмечаем, что эти разбиения отличаются друг от друга.  Поэтому аналогично строим таблицу 2-разбиения (табл. 18), опять заменяя в таблице переходов состояния ai соответствующими классами эквивалентности Ci.

Из полученной  таблицы 2-разбиения получаем 3-классы эквивалентности Di и разбиение p3 ={ D1, D2, D3},  где  D1 = {a1, a2}, D2 = {a5, a6}, D3 = {a3, a4}.

Сравнивая p3 и p2,  замечаем,  что D1 = C1,  D2 = C2, D3 = C3, p3 = p3.  Следовательно  получили  разбиение на ¥- эквивалентные классы.  Т.к.  всего три таких класса,  то минимальный автомат будет  содержать  всего  три  состояния.  Выбираем  из каждого класса Di по одному состоянию и получаем  множество  состояний A' минимального автомата.  Пусть, например, A'={a1, a4, a5}. Для получения минимального автомата из первоначальных таблиц переходов и выходов (табл. 16) вычеркиваем столбцы, соответствующие "лишним состояниям" a2, a3, a6.  В результате  получается  минимальный   автомат   Мили,   эквивалентный  исходному  автомату (табл. 19).

Минимизацией числа  внутренних состояний автомата заканчивается этап абстрактного синтеза.

Структурный синтез ЦА.

Задачи синтеза ЦА.

Канонический метод структурного синтеза ЦА.

Элементарные цифровые автоматы с памятью

(триггерные устройства) и их свойства.

Вслед за этапом абстрактного синтеза автоматов следует этап структурного синтеза, целью которого является построение схемы, реализующей автомат из элементов заданного типа. Если абстрактный автомат был лишь математической моделью, проектируемого устройства, то в структурном автомате учитывается структура входных и выходных сигналов автомата, а также его внутренне устройство на уровне логических схем. Основной задачей структурной теории автоматов является разработка общих методов построения структурных схем автоматов.

            В отличие от абстрактного автомата,  имеющего один  вход  и один выход, на которые поступают сигналы во входном  и выходят в выходном W={W1,..,WG} алфавитах, структурный автомат имеет L входных каналов х1,х2,..,хL и N выходных  y1,y2,…,yN  на каждом из которых присутствует сигнал структурного алфавита.

Обычно в качестве структурного используется двоичный алфавит.

В этом случае каждому входному сигналу ZF абстрактного автомата соответствует некоторый двоичный вектор (lf1,lf2,..,lfL), где lfLÎ{0,1}.

Очевидно, что для представления (кодирования) входных сигналов  Z1,..,ZF  абстрактного автомата различными двоичными векторами должно быть выполнено условие

L  ] log2F [,

аналогично

N  ] log2G [

Например , Z={Z1,Z2,Z3,Z4}   W={W1,W2,W3}.

Тогда  L  log24=2            N  log23=2

Закодировать входные и выходные сигналы можно ,например, так:

Z1 = 00           W1 = 00

Z2 = 01           W2 = 01

Z3 = 10           W3 = 11

Z4 = 11

	Cледовательно, структурный автомат с двумя входами x1 и x2  и двумя выходами y1  и  y2 может быть представлен в виде:

Задача синтеза структуры автомата.

На этапе структурного синтеза предварительно  выбираются  элементарные автоматы, путем композиции которых строят логические схемы полученных на этапе абстрактного синтеза автоматов Мили и Мура. Если решение задачи структурного синтеза существует, говорят, что заданная система автоматов структурно полна.

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

Теоретическим обоснованием канонического метода структурного синтеза автоматов служит теорема о структурной полноте:           

Для правильной работы схем сигналы на входе запоминающих элементов не должны непосредственно участвовать в образовании выходных сигналов, которые по цепям обратной связи подавались бы в тот же самый момент времени на эти входы. Поэтому запоминающими элементами должны быть не автоматы Мили, а автоматы Мура. Таким  образом,  структурно  полная система элементарных автоматов должна содержать хотя бы один автомат Мура. В то же  время,  для синтеза автоматов с минимальным числом элементов памяти, необходимо в качестве таких элементов выбирать автоматы Мура,  имеющие полную  систему переходов и полную систему выходов –  полные автоматы.

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

Полнота системы выходов  автомата Мура состоит в том, что каждому  состоянию автомата поставлен в соответствие свой особый выходной сигнал, отличный от выходных сигналов  других  состояний. Т.о. в таком автомате число выходных сигналов равно числу состояний автомата. В связи с этим, в автоматах памяти будем использовать одни и те же обозначения и для состояний, и для выходных сигналов.

Канонический метод    структурного   синтеза   предполагает представление структурной схемы автомата в виде двух частей: памяти и комбинационной схемы.

Память состоит из элементарных автоматов Мура П1,....,ПZ,....,ПR. После выбора элементов памяти каждое состояние синтезируемого автомата А кодируется набором их состояний. Если все автоматы П1...,ПR одинаковы, что в общем случае необязательно, то их число

где M – число состояний синтезируемого автомата А, а b – число состояний элементарного автомата памяти. Обычно для элементарного автомата b=2,  тогда  .

Например, переход автомата А, имеющего 5 элементов памяти, алфавит состояний которых – двоичный, из одного состояния (Am)=01011  в  другое (A3)= 11000,  заключается в изменении состояний соответствующих автоматов памяти: первый элемент памяти переходит из 0 в 1, второй – из 1 в 1, третий из 0 в 0, четвёртый – из  1 в 0,  пятый - из 1 в 0.

Переходы автоматов памяти, соответствующие переходам в автомате А,  происходят под действием сигналов возбуждения памяти, поступающих с выхода комбинационной схемы на вход памяти автомата. Так на рисунке X=(X1,X2,..,XL) и Y=(Y1,Y2,...,YN) – векторные структурные входной и выходной сигналы автомата, U=(U1,U2,...,UT)  –  векторная  функция  возбуждения  памяти   и  Q=(Q1,...,QT)  – вектор выходного сигнала обратной связи от элементов памяти автомата.

Рассмотрим отдельно  элемент памяти Пz,  таблица переходов которого дана в таблице.  Множество выходных сигналов  элементов памяти совпадает с множеством внутренних состояний.

Полнота переходов очевидна из таблицы (в каждом столбце все состояния встречаются). При  рассмотрении   автомата   на абстрактном уровне его можно представить в виде рис.22 а.

При переходе от абстрактного автомата к структурному, входные и выходные сигналы должны быть закодированы наборами сигналов структурного алфавита  (входного или выходного соответственно). При двоичном структурном алфавите автомат Пz будет иметь два входных  и два выходных  канала.

Итак, сами компоненты Uz и Qz при  Z = 1,...,R  векторов сигналов возбуждения памяти U и сигналов обратной связи от  памяти Q также могут быть представлены в виде векторов:

Uz = (UZ1,UZ2,...,UZK)  и  QZ = (QZ1,QZ2,...,QZR).

Если не оговорено особо, то используется двоичный структурный алфавит как для входных и выходных каналов синтезируемого автомата,  так  и  для входных  и выходных каналов автоматов памяти.  Алфавит состояний автоматов памяти также обычно двоичный.

При построении функций возбуждения памяти автомата используют функцию входов элемента памяти   m(bi,bj),  ставящую в соответствие каждой паре состояний (bi,bj) сигнал, который должен быть подан на вход этого автомата для перевода его из состояния bi в состояние bj.  Функцию входов удобно задавать в виде таблицы. Для элемента памяти (функция переходов которого приведена ранее) функция входов имеет вид:

Если входные сигналы элемента памяти q1,...,qp закодированы наборами (UZ1,...,UZK) сигналов на его входных каналах, то элементами  таблицы, задающей функцию входов вместо qi будут соответствующие наборы. Так, если q1 = 00, q2 = 01, q3 = 10, то соответствующая f входов будет иметь вид рис.23a.

Элементарные цифровые автоматы – элементы памяти.

В качестве элементов памяти структурного автомата обычно используются триггеры.

Триггер – это устройство, имеющее два устойчивых состояния, в которые он переходит под действием определённых входных сигналов.

Обычно в триггерах выделяют два вида входных сигналов (и соответственно входов): информационные и синхросигналы.

Информационные сигналы определяют новое состояние триггера и присутствуют в любых триггерах. По типу информационных сигналов осуществляется классификация триггеров:  D,  T, RS, JK, RST, DV и т.д.

Синхросигнал не является обязательным и вводится в триггерах с целью фиксации момента перехода триггера в новое состояние, задаваемое информационными входами. Обычно, при синтезе ЦА используются триггеры с синхровходом, поэтому в дальнейшем будем рассматривать только такие триггеры.

На синхровход триггера поступают тактирующие импульсы задающего генератора, синхронизирующего работу ЦА. Период следования импульсов соответствует одному такту автоматного времени ЦА.

Рассмотрим основные типы триггеров, используемые для синтеза ЦА: D, T, RS, JK.

      D-триггер – элемент задержки – имеет один информационный вход  D  и один выход Q и осуществляет задержку поступившего на его вход сигнала на один такт.

Условное обозначение и таблица переходов D-триггера представлена на рис.  .

Из приведенной  таблицы  переходов  для  данного  триггера Qt+1  = f(Qt,Dt) можно получить таблицу функций его входов Dt = j(Qt, Qt+1).

Как видно из таблицы, состояние, в которое переходит триггер (средний столбец), совпадает с поступившим на его вход сигналом D(t) (правый столбец).  В связи с этим таблица функций  возбуждения  памяти  синтезируемого  автомата  с использованием D-триггеров будет полностью совпадать с кодированной таблицей  переходов этого автомата. Промышленность выпускает D-триггера в интегральном исполнении. Например,

K155TM2 (рис. 25).Таких триггеров два в одном корпусе. Вход С –вход синхронизации, Q,`Q – выходы,  Q – прямой,   – инверсный.    R, S  –  входы установки в 0 и 1 соответственно. При подаче на вход R и S логического нуля триггер устанавливается в соответствующие состояния независимо от сигнала на входах D и  C.

T-триггер – триггер со счетным входом – имеет один информационный вход Т и  один  выход Q  и осуществляет суммирование по модулю два значений сигнала T и состояния Q в заданный момент времени.

      Условное обозначение и таблица переходов T-триггера представлена на рис 26.

Таблица переходов T-триггера.

Таблица функций  входов  триггера  Tt = f(Qt, Qt+1) представлена в таблице.

На основании этой таблицы можно получать функцию возбуждения элементов памяти при синтезе автомата на базе T-триггера. Например, если автомат перешел из состояния ai = 010 в  состояние  aj  =  110, то для обеспечения этого перехода функции возбуждения должны  быть:

для  первого  триггера  при переходе       из 0 в 1           T1 = 1,

для второго триггера при переходе          из 1 в 1           T2 = 0,

для третьего триггера при переходе         из 0 в 0           T3 =0  и т.д.

В чистом виде промышленность не выпускает T-триггера.

RS-триггер – триггер с раздельными входами.

Данный триггер имеет два входных канала R и S и один выходной Q. Вход S  (set)  называется входом установки в единицу, вход R (reset) – входом установки в нуль. Условное обозначение и таблица переходов RS-триггера представлена на рис. 27.

В таблице  переходов  при  подаче комбинации S = R = 1 состояние  перехода  Qt+1  не определено и эта комбинация сигналов является запрещенной для RS-триггера.

Таблицу переходов  можно  более  компактно  изобразить в виде (см.  табл. 21б) Анализируя табл.21 б,в отмечаем что, например, переход  триггера  из 0 в 0требует подачи комбинации R=0,  S=0 или R=1,S=0, т.е. можно сказать что этот переход будет при R=X (безразличное состояние) , S=0.

Аналогично рассуждая по  отношению  к  другим  переходам получим следующую таблицу функций входов.

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9