NFA (nichtdeterministischer endlicher Automat)

<math>L(M)\ = ( Z , \Sigma, \delta, Q_0, E )</math>

<math> Z\ </math> Menge der Zustände

<math> \Sigma\ </math> Menge des Eingabealphabets

<math> \delta\ : Z \times \Sigma \rightarrow P(Z) </math>

<math> Q_0 \in Z\ </math> Menge der Startzustände

<math> E\ </math> Menge der Endzustände