NFA (nichtdeterministischer endlicher Automat)
Aus Byte-Welt Wiki
$ L(M)\ =(Z,\Sigma ,\delta ,Q_{0},E) $
$ Z\ $ Menge der Zustände
$ \Sigma \ $ Menge des Eingabealphabets
$ \delta \ :Z\times \Sigma \rightarrow P(Z) $
$ Q_{0}\in Z\ $ Menge der Startzustände
$ E\ $ Menge der Endzustände
