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