Коне́чный автома́т с па́мятью — математическая модель устройства, поведение которого зависит как от входных условий, так и от предыдущего состояния.

Для описания конечного автомата с памятью используются , регулярных выражений алгебры событий , а также и .

См. также

• Секвенциальная логика (Последовательностная логика)
• Логическая память

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 19 июня 2018 )