O mașină cu stări finite cu memorie este un model matematic al unui dispozitiv al cărui comportament depinde atât de condițiile de intrare, cât și de starea anterioară.
Pentru a descrie un automat finit cu memorie, sunt folosite limbaje ale schemelor operatorilor , expresii regulate ale algebrei evenimentelor , precum și matrice și grafice de tranziție .