Def: A = (Σ, Q, I, δ, F) mathend000# mit Alphabet Σ mathend000#, Zustandsmenge Q mathend000#, Initialzustände I⊆Q mathend000#, Finalzustände F⊆Q mathend000#, Übergangsrelationen (f. Buchstaben) δ : Σ→Q×Q mathend000#. daraus abgeleitet: Übergangsrelation f. Wort w = w1…wn∈Σ* mathend000#: δ'(w) = δ(w1)o…oδ(wn) mathend000# A mathend000# akzeptiert w mathend000# gdw. ∃p∈I : ∃q∈F : δ'(w)(p, q) mathend000# Menge (Sprache) der akzeptierten Wörter: Lang(A) = {w | $A$ akzeptiert $w$} = {w | Ioδ'(w)oFT≠∅} mathend000# 2014-03-31
daraus abgeleitet:
δ'(w) = δ(w1)o…oδ(wn) mathend000#
Lang(A) = {w | $A$ akzeptiert $w$} = {w | Ioδ'(w)oFT≠∅} mathend000#