Resumen de actividades del 7 al 14 de Mayo.

* El grupo se volvió a reunir el miércoles y organizarse otra vez.

* Se repasó un poco la teoria vista en clase.

-Dónde el viernes 9 de Mayo empezó la clase con la demostración del theorema 7.6: Si un lenguaje L y su complementario son LRE, entonces L y su complementarios son lenguajes recursivos, dando paso a la demostración:

Y por culpa de los theoremas 7.5 t 7.6 sólo pueden ocurrir dos cosas si considero L y su complementario:

1. L y su complementario son LR's
2. L es un LRE no R y su complementario es no RE (OJO! Th. 76.)
3. L es no RE y su complementario es LR no R (OJO! Th. 76.)
4. L no es RE y su complementario tampoco

Con lo que se dio por finalizado el tema 7 dándo paso al tema 8: INDECIDIBILIDAD !

¿Porqué es importante que un problema sea decidible? DECIDIBLE: Garantizo respuesta SI/NO.

Se explicó Computable, Lenguaje Universal, Indecible.
Con las buenas noticias de que no hay lema de Bombeo.
Y con las malas noticias de que no hay lema de Bombeo.

-> * <- Ale, nos buscamos la vida, nos inventamos un lenguaje NO Recursivo Enumerable a posta.

Acabando la clase con un entregable sobre Codificación de MT's.

- El lunes 12 de Mayo se vio en clase los convenios para codificar máquinas de Turing, aunque ya se vieron en el tema 6.

1. Sólo son necesarios tres imbolos: 0, 1 y B
2. El estado inicial es q1
3. Es suficiente en un único estado final y será q2.

Con lo que después se resolvió el entregable con las cadenas correspondientes y que su RESULTADO puedes ver aquí (pero has de estar registrado en el aulavirtual.uji.es).

1110101010100110100010101001101001010100111 111010101010011010010010010011010001000010100111 111010010001000100110001010010100111