Una màquina de Turing indeterminista é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 un subconjunt anomenat funció de transició
Una màquina de Turing indeterminista é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 un subconjunt anomenat funció de transició