Als we een alternatieve Turing machine hebben, gebruiken we de ATIME bron. Als we een alternatieve Turing-machine gebruiken, hebben we de ATIME-bron. Vraag: Hebben zin 1 en zin 2 dezelfde betekenis? Ja of nee?
Nee, nee.