1 votos

No se puede crear un algoritmo para un lenguaje decidible

L2 = {<M> : M is a TM and there exists an input string w such that M halts within 10 steps on input w}

Hola. Estoy creando un algoritmo para demostrar por encima de L2 es decidible. Y la pista se da como sigue:

Para demostrar que L2 es decidible, pruebe un TM M dado en todos los de longitud máxima 10, cada una durante 10 pasos. Tenga en cuenta que hay finitamente finitas, por lo que este algoritmo siempre terminará. Si M se detiene en cualquier cadena de entrada w en 10 pasos, entonces w' es el prefijo de prefijo de w de longitud 10. M también se detendrá en la entrada w' en 10 pasos, por lo que el algoritmo de decisión descrito anteriormente lo encontrará.

No puedo entender esta insinuación.

M(w)
 let w be w1,w2,... such that w=w1,w2,...,wn
 for i=1,2,...,10
  run m on wi for 10 steps
  if it accepts
   let w' be prefix of w of length 10 and w' be w1,w2,... such that w'=w'1,w'2,...,w'n
   for t=1,2,...,10
    run m on w't for 10 steps
   end for
  end if
 end for
end M(W) 

Como se puede ver por encima de algoritmo que hice, no tengo ni idea de hacer algoritmo adecuado de los L2 defnition y sugerencia anterior.

Necesito ayuda para escribirlo correctamente (por favor, utiliza tu estilo para escribir un algoritmo. Creo que el estilo no importa si la idea principal es correcta. Lo que no entiendo es su idea).

Muchas gracias si me pueden ayudar.

0voto

mrp Puntos 2351

La pista que te dan es más o menos la respuesta. Tenga en cuenta en primer lugar que en $10$ pasos, cualquier TM puede leer como máximo $10$ símbolos de la entrada. Por lo tanto, sólo tenemos que considerar las cadenas de longitud 10, porque si la TM lee más de los primeros 10 símbolos, entonces sabemos que no puede haber parado en diez pasos. Dado su alfabeto $\Sigma$ el conjunto $\Sigma^*_{\leq 10}$ de cadenas de longitud máxima 10 es un conjunto finito. Por lo tanto, el algoritmo es el siguiente, dado un TM $M$ como entrada.

  1. Para todos $w \in \Sigma^*_{\leq 10}$ Corre $M$ en $w$ para $10$ pasos.
  2. Si $M$ se detiene en cualquiera de los $w \in \Sigma^*_{\leq 10}$ entonces acepte, de lo contrario rechace.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X