Zurück

Quintupel eines DEA

Ein Transitionssystem A = (Q, Σ, q₀, δ, F) bezeichnet man als deterministischen endlichen Automaten (DEA), wenn dieses (unter Eingabe eines Zeichens aus dem Eingabealphabet) von einem Zustand in einen eindeutig bestimmten Folgezustand wechselt.

Fahre mit der Maus über die Bestandteile Q, Σ, q₀, δ, F des Transitionssystems A und erkunde Schritt für Schritt die Definition eines deterministischen endlichen Automaten.

A = ( Q, Σ, q₀, δ, F ) Q: endliche Menge von Zuständen Σ: endliche Menge von Eingabesymbolen q₀: Startzustand δ: Übergangsfunktion F: Menge der akzeptierten Endzustände Bsp.: A = ({q₀,q₁,q₂}, {a,b}, q₀, δ, {q₁}) q₀ q₁ q₂ b a a b a, b
Quintupel eines DEA