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