abstract
| - Una màquina de Turing 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 un alfabet, anomenat alfabet de la cinta
* s'anomena estat inicial
* s'anomena estat final o acceptador
*
*
*
* és una funció anomenada funció de transició Els símbols s'anomenen símbol o caràcter inicial i símbol o caràcter blanc. Podem imaginar-nos una màquina de Turing com una cinta infinita de cel·les (cadascuna de les quals conté un símbol de ) i un punter que en senyala una. A l'inici d'un còmput, a la cinta tenim el caràcter d'inici seguit de la paraula d'entrada, i a la resta de cel·les hi ha caràcters blancs. El punter senyala la cel·la del primer caràcter de la paraula d'entrada. Mitjançant la funció de transició, en un pas de còmput es comprova l'estat actual, es llegeix el símbol de la cel·la apuntada i es passa a un nou estat i s'escriu un nou símbol a la cel·la apuntada. Llavors el punter es mou a cel·la de la dreta (), a la de l'esquerra () o es queda quiet (), i es fa el següent pas de còmput.
|