Def: A = (Σ, Q, I, δ, F) mit
daraus abgeleitet:
δ'(w) = δ(w1)o…oδ(wn)
Lang(A) = {w | $A$ akzeptiert $w$} = {w | Ioδ'(w)oFT≠∅}