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