1: Turing-en aldaketa sistema erabiltzen badugu, 2. esaldia: Turing-en makina alternatiboa izanez gero, ATIME baliabidea erabiliko dugu. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
-Ez, ez.