Коне́чный автома́т с па́мятью — математическая модель устройства, поведение которого зависит как от входных условий, так и от предыдущего состояния.
Для описания конечного автомата с памятью используются языки операторных схем, регулярных выражений алгебры событий, а также матрицы и графы переходов.
См. также Секвенциальная логика (Последовательностная логика) Логическая память Теорема Глушкова о полноте
Категория:Конечные автоматы