Intersección de dos LRE

Las clases Lre de los lenguajes recursivamente enumerables son cerradas respecto a la intersección. Para demostrarlo deberemos considerar que: Si M1 y M2 son máquinas que siempre se paran y aceptan dos lenguajes recursivos, esta máquina aceptará su intersección. Si alguna cadena del lenguaje intersección hace parar M1 o M2, entonces la nueva máquina M también parará por lo que se acepta la interseccíon en ambos casos.


Aprovechamos la entrada para hacer el resumen semanal. Tras la semana del puente en la que expusimos y estuvimos haciendo mil tareas de talf durante el lunes,marte y miercoles nos tomamos unas minivacaciones y hemos vuelto a quedar hoy viernes a las 9 de la mañana para dejar lista esta tarea. Hemos hecho una busqueda en la biblioteca por que no sabiamos como demostrar nada... y hemos encontrado unos libros mu majetes de donde hemos sacado información bastante aclaratoria xDD.
Habiamos quedado también para puntuar todas las tareas pendientes,pero tras la ardua tarea de búsqueda de información hemos pensado que la puntuación la dejamos pa la semana que viene xDDDD