NFA (nichtdeterministischer endlicher Automat): Unterschied zwischen den Versionen

Aus Byte-Welt Wiki
Zur Navigation springenZur Suche springen
(Die Seite wurde neu angelegt: Kategorie:Automaten und formale Sprachen)
 
 
(6 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 
[[Kategorie:Automaten und formale Sprachen]]
 
[[Kategorie:Automaten und formale Sprachen]]
 +
 +
<math>N\ = ( 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 P(Z) </math> <br/>
 +
 +
<math> Q_0 \in Z\ </math> Menge der Startzustände <br/>
 +
 +
<math> E\ \in Z\ </math> Menge der Endzustände <br/>
 +
 +
<b>Akzeptierte Sprache</b><br/>
 +
 +
<math> L(M) = \{ x_1 , ... , x_n \in \Sigma^* \vert \exists q_0 \in Q_0 , q_1 , ... , q_{n-1} \in Z\  , q_n \in E : q_{i+1} \in \delta ( q_i, x_{i+1} ) \ , \ i = 1, ... , n-1 \} </math>

Aktuelle Version vom 2. April 2008, 16:36 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_0 \in Q_0 , q_1 , ... , q_{n-1} \in Z\ , q_n \in E : q_{i+1} \in \delta ( q_i, x_{i+1} ) \ , \ i = 1, ... , n-1 \} </math>