Eine Turing-Maschine entscheidet eine Sprache , wenn die Sprache akzeptiert und für alle nach endlich vielen Schritten in einem Zustand hält.