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