Крайни автомати са основните разпоредби от
Контактът и ценностите логиката на изходните променливи се определя само чрез комбинация от променливи, при входа в даден момент, така че те се наричат комбинационни схеми. В по-общия случай на изходните променливи зависят от стойностите на входните променливи не само в даден момент, но също така и от предишните си стойности или стойности на изходните променливи, се определя от последователността на входните стойности. Схема с тези свойства се наричат последователни.
Ако входните и изходните променливи са от ограничен, азбука, такива схеми се наричат крайни автомати.
Ако връзката между входните и изходните променливи, се изразяват в булеви функции, държавните машини определени двоичен структурна азбука. В реални условия, сигнали са представени от непрекъснатост на времето, така че да надеждно разграничаване сигнали изискват нови стойности на входовете, появяващи се след преходните процеси, свързани с предишните стойности.
При разглеждането на структурата на логически машини обикновено са отклонени от които са динамични процеси и вярвам, че променливите се променят мигновено в определен интервал от време, наречени мярката ().
Часовник моменти. определя от времето сигнали.
Дискретни време автомат: , който не зависи от физическото време, редица taktaυ
Изходни функции последователни вериги като свои аргументи с изключение на входните променливи непременно включват множество междинни променливи S1. S2, ..., Sk, характеризиращи състоянието на веригата.
Множеството от всички възможни състояния, присъщи на тази схема - набор от състояния.
По този начин, за състоянието на държавната машина по всяко време на стойностите на часовника характеризират с набор от променливи, които заедно с дадените стойности на входните променливи, за да определяне на изходните променливи в този миг на часовника и се намират в съседство.
Ето защо, машините трябва да са в състояние да запазят предишното състояние на следващата мярка, във връзка с това, което те наричат автомат с памет. Както спомена широко използвани елементи на закъснение, изходите на които входът е повтаряща се експозиция смяна на времето в интервала между удара , например спусъка.
Видове крайни автомати
машина M Държавният -
Система с ограничен вход азбука и на изходния край азбука, ограничен набор от две характерни функции sostoyaniyi
които падежът nazyvayutsyafunktsiyami поръчки и изходни функции. Следваща блокова схема на автомата се получава от:
В общи линии, държавната машина - математически модел, който представлява физически или абстрактни явления от разнообразен характер. В определението на автомата 3 участва ограничени комплекти X, Y, S и 2 функции и, дефиниране на връзки между елементите на комплекта. Ето защо, изготвяне на държавната машина може да се представи като:
Автомат, чийто изход променливи са функции на входните променливи и държавата - машина от първи вид или като брашно.
Автомат, чийто вход променливи са функция само на държавно - машина на втория вид или Мур автомат.