abstract
| - Un autòmata determinista és una estructura , on
* és un conjunt finit i no buit els elements del qual s'anomenen estats
* és un alfabet, anomenat alfabet d'entrada
* és una funció anomenada funció de transició
* s'anomena estat inicial
* és un conjunt els elements del qual s'anomenen estats finals o acceptadors Podem imaginar-nos un autòmat determinista com una cinta d'una quantitat adequada de cel·les i un punter que en senyala una. En cada còmput, a la cinta hi ha la paraula d'entrada, de manera que, per ordre, cada cel·la té un símbol de la paraula. Inicialment el punter senyala la primera cel·la. En un pas de còmput, s'aplica la funció de transició, de manera que es comprova l'estat actual, es llegeix el símbol de la cel·la apuntada i es passa al nou estat. Llavors el punter passa a senyalar la cel·la següent i es fa el següent pas de còmput. El còmput s'acaba quan s'han llegit tots els símbols de la paraula d'entrada. Aquest procediment es veu formalitzat pels conceptes de configuració i producció.
|