¿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?