1: Turing-en aldaketa sistema erabiltzen badugu, 2. esaldia: Turing-en makina alternatiboa erabiltzen badugu, baliabidea dugu: Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
Bai, oso ondo.