Resumen de actividades del 14 al 21de Mayo.

* El grupo se volvió a reunir un miércoles más.
* Organizamos la faena
* Se repasó un poco la teoria vista en clase.

- Donde el viernes 16 de Mayose habló del infinito contable y del infinito incontable.
"El infinito se hace largo, sobre todo al final..."
El grupo 07 presentó en clase los Lenguajes Diagonales (su exposición te la puedes descargar en su blog, o aquí)

Consta de:

1. Introducción ( Cuyo objetivo es estudiar un lenguaje No recursivamente enumerable para utilizarlo como herramienta para caracterizar el caracter recursivo o recursivamente enumerable de otros lenguajes)
2. Como obtener un LNRE (LNRE para hacer referencia a un Lenguaje No Recursivamente Enumerabe)
3. Lenguaje Diagonal LD (Con los elementos nulos de la tabla se construye el LD, el lema del LD y su demostración)

Finalizando la clase con unas tablas generando el LD y unas imágenes de M.C. Escher:


- El viernes 19 Mayo en clase repasamos lo que sabemos a día de hoy, que una MT se puede codificar como una cadena de 1's y 0's, que existe un lenguaje que NO es RE: El lenguaje diagonal.
Dando paso después a la explicación del lenguaje Universal, que es un LRE pero no recursivo (no hay método automático para decidir cuando una computación tendrá éxito)
Se demostró el theorema 8.2 (LU es un lenguaje recursivamente enumerable no recursivo) y la definición 8.5 (Máquina Universal de Turing, MU) Máquina de Turing con una sola cinta, limitada a la izquierda, y con alfabeto {0, 1, B} que acepta el lenguaje LU.
Finalizando la clase con las demostraciones de que Lu No es LR sin lema de bombeo.
Con las reducciones de problemas.
Una reducción es una "traducción".