If we have an alternating Turing machine , we use the resource ATIME .
When we have an alternating turing machine , we use the resource ATIME .
When we have an alternating turing machine , we use the resource ATIME .
Rewrite this sentence: If we have an alternating Turing machine , we use the resource ATIME . Output: