Аппаратные и программные

А.2.5 Конечный автомат 
Что представляет собой конечный автомат? Автомат может запоминать 
свое состояние. Такой автомат называется автоматом с памятью. Выход 
автомата без памяти не зависит от предыдущих значений входов, а зависит 
только от текущих значений входов. Выход автомата с памятью зависит от 
предыдущих воздействий. Это принципиальное отличие автомата без памяти от 
автомата с памятью.

---

265 
Основное понятие автомата с памятью – это его состояние. Если значение 
выходов автомата без памяти зависит только от входов, то значение выходов 
автомата с памятью зависит не только от входов, но и от состояния автомата. 
Состояний у автомата может быть множество. Автомат с памятью, имеющий 
конечное число состояний, называется конечным автоматом. Автомат, 
который может помнить не только свое текущее состояние, но сохранять и 
затем восстанавливать свои предыдущие состояния, называется автоматом с 
магазинной памятью [29]. 
Существует множество определений термина «конечный автомат» (finite-
state machine), приведем некоторые из них [29, 52]: 
• Конечный автомат – это модуль, имеющий конечное число возможных 
состояний и функционирующий в дискретном времени. 
• Конечный автомат (в теории алгоритмов) – математическая абстракция, 
позволяющая описывать пути изменения состояния объекта в 
зависимости от его текущего состояния и входных данных, при 
условии, что общее возможное количество состояний конечно. 
• Конечный автомат (в объектно-ориентированном программировании) – 
спецификация последовательности состояний, через которые проходит 
в течение своей жизни объект, или взаимодействие в ответ на 
происходящие события (а также ответные действия объекта на эти 
события). 
• Конечный автомат (в аппаратной реализации) – модель логического 
устройства с определенной памятью, предназначенная для обработки 
информации. 
• Конечный автомат – математическая модель устройства с конечной 
памятью. Конечный автомат перерабатывает множество входных 
дискретных сигналов во множество выходных сигналов.
Рисунок 99. Графическое изображение конечного автомата 
В данном примере у автомата три состояния: S1, S2 и S3. По условию a 
автомат переходит из состояния S1 в состояние S2, по условию c автомат 
переходит из состояния S2 в состояние S3 и по условию b автомат переходит в 
состояние S2. 

---

266 
Таблица 32. Табличная форма записи конечного автомата