Prvi stavek: Če imamo izmeničen Turingov stroj, uporabljamo vir ATIME. 2. stavek: Ko imamo izmeničen Turingov stroj, uporabljamo vir ATIME. Vprašanje: Ali sta prvi in drugi stavek enaka? Da ali ne?
-Ja. Ja.