Jos meillä on vaihteleva Turingin kone, käytämme resurssia ATIME. Jos meillä on vaihteleva Turing-kone, käytämme ATIME-resurssia. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.