L(A) ≠ ∅ gdw. es einen (beliebig beschrifteten) Lauf von qs in A zu einem akzeptierenden Zustand gibt. Laufzeit Für Turing Maschine Übersicht
