Véges Állapotú Automata

Olyan számítási modell, amely véges számú állapotot és ezen állapotok közötti átmenetet tartalmaz, esetleg kisérő műveletekkel együtt.