Preguntas etiquetadas con undecidability

9
Para cualquier idioma

Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no todos los idiomas son...

9
Decidabilidad del lenguaje de prefijo

A mitad de período había una variante de la siguiente pregunta: Para un decidible, defina Pref ( L ) = { x ∣ ∃ y  st  x y ∈ L } Muestre que Pref ( L ) no es necesariamente decidible.LLLPref ( L ) = { x ∣ ∃ y st  x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. }...

8
lata

Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff 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}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}A=\{a, b,...