Un autòmata 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 conjunt de transicions
* s'anomena estat inicial
* és un conjunt els elements del qual s'anomenen estats finals o acceptadors
Un autòmata 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 conjunt de transicions
* s'anomena estat inicial
* és un conjunt els elements del qual s'anomenen estats finals o acceptadors