Hola, tenía la duda de ¿por qué la máquina M' debía tener ese if al principio antes de ejecutar la máquina M con el input w?. Ya que para el ejemplo dado, se pide que:
$ w \in M \longrightarrow L(M') \in L_{e}$
$ w \notin M \longrightarrow L(M') = \{ \emptyset \} $
Por lo tanto, si la maquina M' independiente del input ejecuta M con w y M acepta cumple con la primera proposición ya que las máquinas $L_{e}$ son todas aquellas que aceptan al input epsilon y una máquina que acepta a cualquier input acepta al input epsilon.
Por otro lado, si w no está en M la máquina M' no se detiene y por lo tanto, el resultado es el set vacío ya que no aceptaría ningún input.
juanreutter
commented
2 years ago
Hola, tenía la duda de ¿por qué la máquina M' debía tener ese if al principio antes de ejecutar la máquina M con el input w?. Ya que para el ejemplo dado, se pide que:
Por lo tanto, si la maquina M' independiente del input ejecuta M con w y M acepta cumple con la primera proposición ya que las máquinas $L_{e}$ son todas aquellas que aceptan al input epsilon y una máquina que acepta a cualquier input acepta al input epsilon. Por otro lado, si w no está en M la máquina M' no se detiene y por lo tanto, el resultado es el set vacío ya que no aceptaría ningún input.