Zurück

Formale Beschreibung des Kellerautomaten

Die formale Beschreibung einer Turingmaschine lautet A = (Q, Σ, Γ, q₀, Z₀, Δ).

Fahre mit dem Cursor über die einzelnen Bestandteile des Tupels. Zu jedem Element wird die entsprechende Bedeutung beschrieben, sodass du dich Schritt für Schritt über den Aufbau eines Kellerautomaten informieren kannst.

A = ( Q, Σ, Γ, q₀, Z₀, Δ ) Die endliche Zustandsmenge Q. Das endliche Eingabealphabet Σ. Das endliche Kelleralphabet Γ. Der Startzustand q₀ ∈ Q. Das Kellerstartsymbol Z₀ ∈ Γ. Die Übergangsrelation Δ ⊆ Q × (Σ ∪ {ε}) × Γ × Γ* × Q. Bsp.: A = ({q₀,qₑ}, {1,2}, {Z₀,A}, q₀, Z₀, Δ) mit Δ: {(q₀, 1, Z₀, A, q₀), (q₀, 1, A, AA, q₀), (q₀, 2, A, ε, q₁), (q₁, 2, A, ε, q₁), (q₁, ε, Z₀, ε, qₑ)} Z₀ ... q₀ q₁ qₑ 1, Z₀, A 1, A, AA 2, A, ε 2, A, ε ε, Z₀, ε
Formale Beschreibung des Kellerautomaten