משפט 1: כשאנחנו משתמשים במכונת טורינג חלופית, יש לנו את משאבי ATIME. משפט 2: אם אנחנו משתמשים במכונת טיורינג חלופית, יש לנו את המשאב ATIME. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.