1. mondat: Ha egy váltakozó Turing gépet használunk, akkor megvan az ATIME erőforrásunk. Ha egy váltakozó Turing-gépet használunk, akkor megvan az ATIME erőforrásunk. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
- Igen, igen.