DFA (deterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[Kategorie:Automaten und formale Sprachen]] | [[Kategorie:Automaten und formale Sprachen]] | ||
<math>L(M)\ = ( Z , \Sigma, \delta, Q_0, E )</math> | |||
<br/> | |||
<math> Z\ </math> Menge der Zustände <br/> | |||
<math> \Sigma\ </math> Menge des Eingabealphabets <br/> | |||
<math> \delta\ : Z \times \Sigma \rightarrow Z </math> <br/> | |||
<math> Q_0 \in Z\ </math> Startzustand <br/> | |||
<math> E\ </math> Menge der Endzustände <br/> | |||
<math>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} </math> für<math>\ i = 0, ... , n-1 \} </math> | <math>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} </math> für<math>\ i = 0, ... , n-1 \} </math> | ||
Version vom 25. März 2008, 04:02 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\} $
