logo
Лекции по микропроцессорам Щеглов

3.1. Понятие автомата.

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

Свойство автомата запоминать прошлое отражается параметром, называемым состоянием автомата. Состояние определяется внутренними сигналами элементов, которые образуют память.

В реальных автоматах в качестве элементов памяти выступают триггеры; теперь можно дать и другое определение автомата. Автомат – цифровое устройство, выходные сигналы которого является функцией входных сигналов и состояния автомата в данный момент времени. Работа автомата рассматривается в дискретные моменты времени t0,t1,t2 … tn …. Эти моменты времени образуют автоматное время. Каждый момент времени можно пронумеровать. Состояние автомата в момент времени t0 будем называть начальным состоянием.

Состояние автомата в произвольное время t будем обозначать через а(t). Для начального состояния а(t0) будем использовать также обозначение а(t0)=a(0).

По способу формирования автоматного времени автоматы делятся на синхронные и асинхронные.

В синхронных автоматах автоматное время задаётся тактовой последовательностью . Поведение автомата вне автоматного времени не определено (рис.3.1.).

В асинхронных автоматах автоматное время задаётся моментами изменения входных сигналов (рис.3.2.).

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

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

Синтез автомата осуществляется в два этапа: