3.1Endliche Automaten und reguläre Ausdrücke

Grundbegriffe endlicher Automaten

Zustände, Übergänge, Start und Ziel: deterministische und nichtdeterministische Automaten, Akzeptoren und Transduktoren.

Leitformel
A=(K,Σ,δ,s0,F),δ:K×Σ→KA = (K, \Sigma, \delta, s_0, F), \quad \delta: K \times \Sigma \to K
A=(K,Σ,δ,s0,F),A = (K, \Sigma, \delta, s_0, F),δ:K×Σ→K\delta: K \times \Sigma \to K
Lernziel

Endliche Automaten formal beschreiben, Wörter durch sie laufen lassen, NFA und ε-NFA verstehen und Automaten als Tabelle implementieren.

Einheit wird geladen …