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> | + | <math>M\ = ( Z , \Sigma, \delta, q_0, E )</math> |
<br/> | <br/> | ||
Version vom 25. März 2008, 04:06 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\ </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>
