Prvá veta: Ak máme striedavý Turingov stroj, použijeme zdroj ATIME. V prípade, že máme striedavý Turingov stroj, použijeme zdroj ATIME. Otázka: Vyjadrujú veta 1 a veta 2 rovnaký význam? Áno alebo nie?
Áno, áno.