Buenos días, he de comprobar lo siguiente:
Dado una propiedad P de ser lenguaje recursivamente enumerable y el conjunto \( Lp = \{cod(M) \in \{0, 1\}^* |L(M)\in P\} \) (Lp es recursivamente enumerable)
Siendo dos lenguajes L y L', verificar que
1. Si L y L' son recursivamente enumerables con \( L \in P \) y \( L \subseteq L' \) entonces \( L' \in P \)
2. Si \( L \in P \) entonces L contiene un lenguaje finito perteneciente a P
3. Existe una Maquina de Turing que puede generar y numerar todos los lenguajes finitos de P
No estoy muy seguro de como empezar, muchas gracias de antemano
