ОБЩАЯ ТЕОРИЯ ЦИФРОВЫХ
АВТОМАТОВ
ЦА делятся на
(зависимости от характера преобразования
информации во времени)
синхронные и асинхронные
синхронизатор
Асинхронные ЦА
моменты автоматного времени не задаются принудительно
имеет один или несколько входов и один или несколько выходов.
n |
m |
N p1 p2 pn pi |
M r1 r2 rm rj |
i 1 |
j 1 |
Может быть преобразован в автомат с одним входом, на который поступает N -значная входная переменная X и одним выходом, с которого снимается М- значная выходная переменная У.
Значение переменной на выходе
автомата зависит от
1. от значения переменной на входе в тот же момент времени
автомат без памяти или комбинационная схема Y (t) F[ X (t)]
2.значений переменной на входе автомата в тот же момент времени и предшествующие
моментыY (t) F[ X (t); X (t 1); X (0)]
автоматы с памятью или 
последовательностные схемы
Синтез и анализ цифровых
автоматов
Синтез автомата - задача отыскания структуры автомата (состав частей ЦА и характер связей между ними), осуществляющей требуемое преобразование:
1.Абстрактный синтез - переход от содержательного описания оператора к формализованному описанию в форме.
2.Структурный синтез - переход от формализованного описания оператора к структурной схеме автомата.
Анализ автомата – задача (обратная синтезу) определения преобразования, реализуемого автоматом, структура которого задана.
АВТОМАТЫ БЕЗ
ПАМЯТИ
Способы задания
таблица истинности
системы уравнений
АВТОМАТЫ С ПАМЯТЬЮ
Способы задания
Громоздкий способ и неосуществимый при
t→