Sentencia 1: Si tenemos una máquina de Turing alterna, usamos el recurso ATIME. Sentencia 2: Si tenemos una máquina de Turing alterna, usamos el recurso ATIME. Pregunta: ¿Expresan la frase 1 y la frase 2 el mismo significado? - ¿Sí o No? - No lo sé.
Sí, sí.