Automata finitu

Egoera finituko makina edo automata finitua (AF),  konputazio-eredu abstraktu bat da bai konputagailu-programen bai sekuentzia logikoko zirkuituen diseinua ahalbidetzen duena. Egoera kopuru finitua duen makina abstraktu moduan kontsidera daiteke. Makina une bakoitzean egoera bakarrean dago eta honi uneko egoera deitzen zaio. Gertaera edo ekintza baten ondorioz egoera batetik bestera aldatzen da eta honi trantsizio deitzen zaio. Egoera-finituko makina zehatz bat egoera multzo batekin, hasierako egoera batekin eta trantsizio-funtzio batekin definitzen da.

Kanpo estekak 

Informatika teorikoa