Automata finitu

Wikipedia, Entziklopedia askea
Hona jauzi: nabigazioa, Bilatu
Zirriborro Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz.

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.