DFA (deterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
<math> \delta\ : Z \times \Sigma \rightarrow Z </math> <br/> | <math> \delta\ : Z \times \Sigma \rightarrow Z </math> <br/> | ||
<math> | <math> q_0 \in Z\ </math> Startzustand <br/> | ||
<math> E\ </math> Menge der Endzustände <br/> | <math> E\ </math> Menge der Endzustände <br/> | ||
Version vom 25. März 2008, 04:05 Uhr
$ L(M)\ =(Z,\Sigma ,\delta ,q_{0},E) $
$ Z\ $ Menge der Zustände
$ \Sigma \ $ Menge des Eingabealphabets
$ \delta \ :Z\times \Sigma \rightarrow Z $
$ q_{0}\in Z\ $ Startzustand
$ E\ $ Menge der Endzustände
$ L(M)=\{x_{1}...x_{n}\in {\Sigma ^{*}}\vert \exists q_{1}...q_{n-1}\in Z,q_{n}\in E\ :\delta (q_{i},x_{i+1})=q_{i+1} $ für$ \ i=0,...,n-1\} $
