Stelling 1: As ons'n afwisselende Turing masjien het, gebruik ons die hulpbron ATIME. Stelling 2: As ons'n afwisselende Turing masjien het, gebruik ons die ATIME hulpbron. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Ja, ek het