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

Demostracion por leyes de De Morgan:

Sea L₁ un LR -> Existe al menos una M₁ | L₁=L(M₁) y M₁ siempre para.

Sea L₂ un LR -> Existe al menos una M₂ | L₂=L(M₂) y siempre para.

Sea L₃ un LR -> Existe al menos una M₃ | L₃=L(M₃)=(L₁)' y siempre para.

Sea L₄ un LR -> Existe al menos una M₄ | L₃=L(M₄)=(L₂)' y siempre para.

Sea L₁ U L₂ un LR -> (L₁)' U (L₂)' también lo es--> ((L₁)' U (L₂)')' es un LR --> L₁ intersectado con L₂ también lo es.

A continuación lo demostraremos mediante una contrucción de una MT que intersecte dos LR:

continuara....