Frase 1: Se temos unha máquina de Turing alternada, usamos o recurso ATIME. Se temos unha máquina de Turing alternada, usamos o recurso ATIME. Pregunta: A frase 1 e a frase 2 expresan o mesmo significado? Si ou non?
Si, si.