AUTOMA A STATI FINITI
- Un macchina astratta molto pi˜ semplice di una Macchina di Turing
- niente nastro
- niente funzione di direzione, dfn()
- quindi, niente memoria illimitata!
- per questo si chiama ìa stati finitiî
- gli stati sono la sua unica forma di memoria
- che riassume la storia passata
- spesso descritto con un grafo degli stati