Sætning 1: Hvis vi har en turingmaskine, bruger vi ATIME. Hvis vi har en turingmaskine, bruger vi ATIME-ressourcerne. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.