NFA (nichtdeterministischer endlicher Automat): Unterschied zwischen den Versionen
Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen| Zeile 16: | Zeile 16: | ||
<b>Akzeptierte Sprache</b><br/> | <b>Akzeptierte Sprache</b><br/> | ||
| − | <math> L(M) = { x_1 , ... , x_n \in \Sigma \vert q_1 : q_{i+1} \in \beta( q_i, x_i+1 ) , i = 1, ... , n-1 \in N\ }</math> | + | <math> L(M) = \{ x_1 , ... , x_n \in \Sigma \vert \exists q_1 , ... , q_{n-1} \in Z\ , \exists q_0 \in Q_0 , q_n \in E : q_{i+1} \in \beta( q_i, x_i+1 ) , i = 1, ... , n-1 \in N\ \} </math> |
Version vom 2. April 2008, 16:31 Uhr
<math>N\ = ( 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 P(Z) </math>
<math> Q_0 \in Z\ </math> Menge der Startzustände
<math> E\ \in Z\ </math> Menge der Endzustände
Akzeptierte Sprache
<math> L(M) = \{ x_1 , ... , x_n \in \Sigma \vert \exists q_1 , ... , q_{n-1} \in Z\ , \exists q_0 \in Q_0 , q_n \in E : q_{i+1} \in \beta( q_i, x_i+1 ) , i = 1, ... , n-1 \in N\ \} </math>
