Operaciones bajo las cuales la clase de lenguajes indecidibles no está cerrada


12

¿Existen idiomas indecidibles tales que su lenguaje de unión / intersección / concatenado sea decidible? ¿Cuál es la interpretación física de tal ejemplo porque, en general, los lenguajes indecidibles no están cerrados bajo estas operaciones?

¿Qué podemos decir sobre el cierre de Kleene? ¿Tenemos ejemplos para ello también? Es decir, ¿puede ser decidible el cierre de un lenguaje indecidible?

Además, ¿podemos generalizar tales clases indecidibles?

Respuestas:


21

Sí, sea codificación binaria del problema de detención y A = 0 H 1 { 0 , 1 } { ϵ } , B = 1 H 0 { 0 , 1 } { ϵ } , entonces A B = { 0 , 1 } (¿por qué?)HA=0H1{0,1}{ϵ}B=1H0{0,1}{ϵ}AB={0,1}


9

Sabemos que el lenguaje vacilante es indecidible. Deje H ser su codificación binaria. También podemos afirmar que el complemento de H es indecidible. Por lo tanto, la unión / intersección de H y HComp son y ϕ , que son decidibles.Σϕ


9

Lo mismo vale para la estrella de Kleene (cierre de Kleene):

establezca siendo H P el problema de detención. HP es claramente indecidible, y ( HP ) = Σ , que es regular (por lo tanto, decidible).HP=HP{0,1}HPHP(HP)=Σ


1

LL=L2={xyx,yL}

L={1}{2n}{2n+1nHalt}

LL2

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.