1 votos

decidible intersección indecidible

Hola estoy teniendo problemas con la computabilidad, así que mi pregunta es Necesito definir un lenguaje A y B tal que A sea decidible y B sea indecidible cuando hago $A\cap B $ es decidible.

también opuestamente necesito definir un lenguaje A que es decidible y B i indecidible donde $A\cap B$ es indecidible.

Si alguien pudiera darme algunos ejemplos sería muy apreciado gracias:)

1voto

Harald Hanche-Olsen Puntos 22964

Sólo deja que $B$ sea cualquier lenguaje indecidible y $A$ el lenguaje vacío o el lenguaje que contiene todas las cadenas del alfabeto subyacente.

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