NFA (nichtdeterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 16: | Zeile 16: | ||
<b>Akzeptierte Sprache</b><br/> | <b>Akzeptierte Sprache</b><br/> | ||
<math> L(M) = \{ x_1 , ... , x_n \in \Sigma \vert \exists q_1 , ... , q_{n-1} \in Z\ | <math> L(M) = \{ x_1 , ... , x_n \in \Sigma^* \vert \exists q_0 \in Q_0 , q_1 , ... , q_{n-1} \in Z\ , q_n \in E : q_{i+1} \in \delta ( q_i, x_{i+1} ) \ , \ i = 1, ... , n-1 \} </math> | ||
Aktuelle Version vom 2. April 2008, 16:36 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 \exists q_{0}\in Q_{0},q_{1},...,q_{n-1}\in Z\ ,q_{n}\in E:q_{i+1}\in \delta (q_{i},x_{i+1})\ ,\ i=1,...,n-1\} $
