Frazo 1: Kiam ni uzas turing-maŝinon, ni havas la ATEMP-rimedon. Frazo 2: Se ni uzas alternan maŝinon de Turing, ni havas la rimedon ATEMPO. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Jes