lata


8

Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónf sobre un alfabeto A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z} solo es computable si el idioma

L={s#jσ:sA,σA, the j'th symbol of f(s) is σ}

es decidible ¿Porqué es eso? No se pudo una funciónf no ser computable incluso si L es decidible?

Respuestas:


6

Si L es decidible, entonces puedes usar su decisor para calcular f: para el primer símbolo de f(s) ejecuta el decisor en la entrada s#x para cualquier xA. Para uno de ellos, el decisor responderá SÍ, esta es la primera letra enf(s).

Continúe haciendo esto (por ejemplo, para la segunda letra, decida si s##xL, etc.), y revelar f(s)letra por letra hasta el momento en que el decisor responde NO para todosxA, lo que significa que llegaste al final de f(s).

Así que si L es decidible fes computable Por el contrario, sif no es computable, no puede ser eso L es decidible

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.