DFA (deterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen| Zeile 12: | Zeile 12: | ||
<math> q_0 \in Z\ </math> Startzustand <br/> | <math> q_0 \in Z\ </math> Startzustand <br/> | ||
| − | <math> E\ </math> Menge der Endzustände <br/> | + | <math> E\ \in Z\ </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:12 Uhr
<math>M\ = ( Z , \Sigma, \delta, q_0, E )</math>
<math> Z\ </math> Menge der Zustände
<math> \Sigma\ </math> Menge des Eingabealphabets
<math> \delta\ : Z \times \Sigma \rightarrow Z </math>
<math> q_0 \in Z\ </math> Startzustand
<math> E\ \in Z\ </math> Menge der Endzustände
<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>
