When deciding if a configuration of an ATM is accepting or rejecting using the above definition, it is not necessary to examine all configurations reachable from the current configuration.
Prilikom odlučivanja je li konfiguracija ATS prihvaćajuća ili odbacujuća koristeći gornju definiciju, nije nužno provjeriti sve konfiguracije dohvatljive iz trenutne konfiguracije.