Resumen de actividades del 16 al 23 de Abril.

De nuevo nos reunimos el miércoles donde:

* Se planificó la faena a entregar para el 28 de Abril.
* Se decidió la demostración que realizariamos.
* Se repasó un poco lo visto en teoría:

-Dónde el viernes 18 se vieron 2 versiones de Generadores Canónicos (0+1)* , en las que , por ejemplo, dada la siguiente entrada ...B000011011B y sumándole un 1 en binario, obtuviese esta salida: ...B000011100B con su correspondiente acarreo ya introducido, por lo que la segunda versión vista en clase era más eficiente ya que desde la posición inicial, si encontraba un 1 lo convertia en 0, si encuentra un 0 se deja el acarreo y lo pasa a 1. En estado q2 se llega hasta el final y ya estaba en posición correcta para empezar a escribir en la salida, en estado q3 va copiando cada uno de los simbolos de la cadena que tengo en la cinta de salida.

-Hubieron un par de entregables:
* Un Generador Canónico (0+1+2)*, en el que se le sumaba 1 en base 3 y cuando llevaba acarreo el 0 lo convertia en 1 y el 1 en un 2. Un ejemplo, ...B00121012B debia producir la siguiente salida: ...B00121020B

* Y el otro entregable se trataba de la primera toma de contacto de un Sistema Formal...
El sistema axiomático MIU del libro:
“Gödel, Escher y Bach: un Eterno y Grácil Bucle”, Douglas R. Hofstadter. Tusquets editores.
El sistema es utilizado por el autor para explicar los sistemas formales planteando al lector
varios juegos y acertijos sobre él. El lenguaje sobre el que se define el sistema axiom´atico es el
lenguaje universal sobre el alfabero {M, I,U}.
Para más info:
http://www.satd.uma.es/a_valverde/Logica/complementos/EjemploMIU.pdf

-El lunes se cerraba el Tema 6 de teoría y se iniciaba el Tema 7 (Computabilidad), con breves explicaciones sobre grandes matemáticos culpables de que estemos estudiando TALF y muchas otras cosas. "Descubrir un método general para determinar si una fórmula de lógica formal es cierta o es falsa." by Hilbert, "El conjunto de los conjuntos que pertenecen a sí mismos ¿pertenece a sí mismo?." by Rusell y la explicación de su paradoja, etc, etc.
Finalizando con una recopilación de interesantes libros sobre estos temas. (El tio Petros y la Conjetura de Golbach está muy ameno)

Para más info:
http://aulavirtual.uji.es/file.php/3246/entscheidungsproblem.pdf

Resumen de actividades del 9 al 16 de Abril.

Resumen de actividades. Grupo 10. Del 9 al 16 de Abril.

El grupo se reunió de nuevo el miércoles, donde:

* Se corrigieron las M.T. de la división, n^2 y multiplicación del grupo 9
* Se re-estructuró el grupo para abarcar toda la faena
* Se repasaron los temas expuestos en clase teoría:

- Demostración de que las M.T. Multicinta y multicabezal tienen el mismo poder computacional que las M.T. estándar realizada por el grupo 1

- Demostración de la equivalencia en cuanto a poder computacional entre las M.T. Deterministas y las No Deterministas realizada por el grupo 6

- El generador Canónico. Dado el alfabeto {a1, a2, ... aR} genera todas las combianciones de esos K simbolos en orden canónico.

- El Generador de Pares. Se llama Generador de Pares a la Máquina de Turing capaz de generar todos los pares (i, j) ' N × N, G(M) = {(i, j) | i, j ' N}.

Resumen de actividades del 2 al 9 de Abril (*)

Esta semana ha sido más bien tranquilita porque no había ninguna tarea pendiente... a principios de semana debíamos colgar en el blog del AV las soluciones para las MTs de la multiplicación, división y n^2.

En lo referente a las clases de teoría, el viernes 4 lo pasamos viendo cómo crear y configurar el nuevo blog y todavía hubo tiempo para que 'la profe de talf' nos mandase una nueva tarea, hallar una MT "clásica" y otra MT "modificada" (en nuestro caso una multicinta) que, dado un entero, devolviera sus divisores.
El lunes, después de dar un breve repasito a lo que habíamos dado de teoría hasta el momento (definición del modelo de MT, técnicas para la construcción de MTs y MTs modificadas) empezamos a ver la MT como 'Generador' de lenguajes.
Hasta el momento habíamos tratado a la MT como un reconocedor de lenguajes a la que le pasábamos una cadena de entrada y obteníamos una cadena de salida, dependiendo de si la cadena de entrada pertenecía o no al lenguaje reconocido por la máquina. Ahora además, podemos ver a la MT como un generador de lenguajes donde no existe una cadena de entrada pero sí una de salida, en la que se encuentran todas las cadenas del lenguaje generado. Como ejemplo vimos el generador de 0^n1^n, donde la cadena de salida sería de la forma ##01#0011#000111#00001111#... (utilizando el carácter # para separar cadenas).
Por último vimos las características físicas de una MT generadora. Una MT generadora es una MT multicinta con una cinta especial de salida, inicialmente en blanco en la que no se pueden reescribir símbolos, pues el movimiento del cabezal está restringido a la derecha.

(*) Nuestros resúmenes semanales se harán de miércoles a miércoles pues quedamos este día para reunirnos los miembros del grupo.