Крайни автомати са основните разпоредби от

Контактът и ценностите логиката на изходните променливи се определя само чрез комбинация от променливи, при входа в даден момент, така че те се наричат ​​комбинационни схеми. В по-общия случай на изходните променливи зависят от стойностите на входните променливи не само в даден момент, но също така и от предишните си стойности или стойности на изходните променливи, се определя от последователността на входните стойности. Схема с тези свойства се наричат ​​последователни.

Ако входните и изходните променливи са от ограничен, азбука, такива схеми се наричат ​​крайни автомати.

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

При разглеждането на структурата на логически машини обикновено са отклонени от които са динамични процеси и вярвам, че променливите се променят мигновено в определен интервал от време, наречени мярката (

).

Часовник моменти.

определя от времето сигнали.

Дискретни време автомат:

, който не зависи от физическото време, редица taktaυ

Изходни функции последователни вериги като свои аргументи с изключение на входните променливи непременно включват множество междинни променливи S1. S2, ..., Sk, характеризиращи състоянието на веригата.

Множеството от всички възможни състояния, присъщи на тази схема - набор от състояния.

По този начин, за състоянието на държавната машина по всяко време на стойностите на часовника характеризират с набор от променливи, които заедно с дадените стойности на входните променливи, за да определяне на изходните променливи в този миг на часовника и се намират в съседство.

Ето защо, машините трябва да са в състояние да запазят предишното състояние на следващата мярка, във връзка с това, което те наричат ​​автомат с памет. Както спомена широко използвани елементи на закъснение, изходите на които входът е повтаряща се експозиция смяна на времето в интервала между удара

, например спусъка.

Видове крайни автомати

машина M Държавният -

Система с ограничен вход азбука и на изходния край азбука, ограничен набор от две характерни функции sostoyaniyi

които падежът nazyvayutsyafunktsiyami поръчки и изходни функции. Следваща блокова схема на автомата се получава от:

В общи линии, държавната машина - математически модел, който представлява физически или абстрактни явления от разнообразен характер. В определението на автомата 3 участва ограничени комплекти X, Y, S и 2 функции

и, дефиниране на връзки между елементите на комплекта. Ето защо, изготвяне на държавната машина може да се представи като:

Автомат, чийто изход променливи са функции на входните променливи и държавата - машина от първи вид или като брашно.

Автомат, чийто вход променливи са функция само на държавно - машина на втория вид или Мур автомат.