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:)