DFA (deterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen| 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
<math>L(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\ </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>
