$\iff$ er hält in einem akzeptierendem Zustand