En finita tillståndsmaskin med minne är en matematisk modell av en enhet vars beteende beror både på ingångsförhållanden och på det tidigare tillståndet.
För att beskriva en finit automat med minne, används språken för operatorscheman , reguljära uttryck för händelsealgebra , såväl som matriser och övergångsgrafer .