Pirmasis sakinys: jei turim pakaitinę Turingo mašiną, mes naudojame ATIME resursą. 2 sakinys: kai naudojame pakaitinę Turingo mašiną, turime ATIME resursą. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne