Demostración de que la operacion interseccion es de clausura para Lenguajes Recursivos

Demostración por construcción:
La intersección de LR' s es un LR.
Sea L1 un LR → Existe al menos una M 1 | L1( M1 ) y M1 siempre para.
Sea L1 un LR → Existe al menos una M 2 | L2( M2) y M2 siempre para.
Se considera L= L1 ∩ L2 = {x | x pertenece a L1 y x pertenece a L2 }
¿Existe al menos una M | L=L(M) y M siempre para ?



La MT M
-Para y acepta si x pertenece a L1 y si x pertenece a L2.
-Para y rechaza, si x no pertenece a L1 o si x no pertenece a L2.
-L1 ∩ L2 es un LR.

También podemos hacer una construcción en paralelo: