NFA (nichtdeterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 13: | Zeile 13: | ||
<math> E\ \in Z\ </math> Menge der Endzustände <br/> | <math> E\ \in Z\ </math> Menge der Endzustände <br/> | ||
<b>Akzeptierte Sprache</b><br/> | |||
<math> L(M) = { x_1 , ... , x_n \in \Sigma \vert q_1 : q_{i+1} \in \beta( q_i, x_i+1 ) , i = 1, ... , n-1 \in N\ }</math> | |||
Version vom 2. April 2008, 16:22 Uhr
$ N\ =(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\ \in Z\ $ Menge der Endzustände
Akzeptierte Sprache
$ L(M)={x_{1},...,x_{n}\in \Sigma \vert q_{1}:q_{i+1}\in \beta (q_{i},x_{i}+1),i=1,...,n-1\in N\ } $
