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

Generador a(n)b(2n)a(n)

Bueno, esta vez me he tocado a mi poner esta entrada y voy apurando sobre la fecha limite de entrega. Bien por nosotros!!!

Entremos en materia. Esta MT, hemos decidido que sera un modelo multicinta, la cual constara de 2 cintas. La primera cinta servira para llebar un conteo de las n (nosotro utilizamos el 0) y la segunda se ira mostrando las cadenas generadas.
En este caso la verdad que no nos importa la posición de los cabezales, ya que en q0 nos encontraremos con las dos cintas completamente en blanco.