Una máquina de estados finitos con memoria es un modelo matemático de un dispositivo cuyo comportamiento depende tanto de las condiciones de entrada como del estado previo.
Para describir un autómata finito con memoria se utilizan los lenguajes de esquemas de operadores , expresiones regulares del álgebra de eventos , así como matrices y grafos de transición .