1: Turing-en aldaketa makina daukagu, beraz, baliabide ATIME erabiltzen dugu. Bigarren pasartea: Turing-en aldeko denbora-makina bada, ATIME baliabidea erabiliko dugu. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
Bai, oso ondo.