Automaten

Automat A = (Σ, Q, I, F, δ) mit

markierter Weg in A: (v0, c1, v1, c2, v2,…, vn-1, cn, vn)
so daß ∀0≤i < n : (vi, ci+1, vi+1)∈δ.

Schreibweise: v0$ \;\stackrel{{w}}{{\to}}\;$Avn mit w = c1c2cn

Die Sprache des Automaten: L(A) = {w | ∃iI : ∃fF : i$ \;\stackrel{{w}}{{\to}}\;$Af}



Johannes Waldmann 2012-02-01