Enlaces a los diferentes temas de la presentación del 2 Semetre.
Tema 6
Tema 7
Tema 8
jueves, 29 de mayo de 2008
Resumen Semanal Final
Se organizó con el grupo 2 la presentación del resumen del 2 semestre de la asignatura.
Se preparó el dia 26 la última tarea a publicar en el blog ( la construcción de una MT generador universal) y se procedió a su publicación.
El dia 29 se procedió a la correción de las tareas 5 ( grupo 9) y 6 (grupo 2).
Se preparó el dia 26 la última tarea a publicar en el blog ( la construcción de una MT generador universal) y se procedió a su publicación.
El dia 29 se procedió a la correción de las tareas 5 ( grupo 9) y 6 (grupo 2).
martes, 27 de mayo de 2008
El generador de todas las MT
Respecto al apartado A,
Una posible forma seria construir un generador de códigos de M.U.T. y hacer pasar las cadenas que nos fuera pasando a través de un comprobador que verificará que dichas secuencias son correctas; pero esto no es posible ya que aunque el generador genere infinitas cadenas, siempre existirá al menos una cadena adicional(mas aun si no nos ceñimos a una codificación en concreto). ( véase como un problema similar al del hotel con infinitas habitaciones llenas; aunque vengan 1..infinitos clientes siempre se podrán colocar en alguna habitación).
Respecto del apartado B,
Basándonos en lo enunciado en el apartado A, nos inclinamos más hacia la opción 2 ya que aunque generemos infinitas MT siempre nos faltaran.
Una posible forma seria construir un generador de códigos de M.U.T. y hacer pasar las cadenas que nos fuera pasando a través de un comprobador que verificará que dichas secuencias son correctas; pero esto no es posible ya que aunque el generador genere infinitas cadenas, siempre existirá al menos una cadena adicional(mas aun si no nos ceñimos a una codificación en concreto). ( véase como un problema similar al del hotel con infinitas habitaciones llenas; aunque vengan 1..infinitos clientes siempre se podrán colocar en alguna habitación).
Respecto del apartado B,
Basándonos en lo enunciado en el apartado A, nos inclinamos más hacia la opción 2 ya que aunque generemos infinitas MT siempre nos faltaran.
jueves, 15 de mayo de 2008
Resumen Semanal 5 de Mayo al 11 de Mayo
Se prepara la demostración que la intersección de 2 lenguajes recursivos dan como resultado un lenguaje recursivo.
martes, 13 de mayo de 2008
La intersección de 2 LR's es un LR
Tomando como base los teoremas 7.4 y 7.5.
Tenemos LR1 y LR2 como LR por lo tanto sabemos que existen una MT1 y MT2 ( una para cada lenguaje ) en las cuales sabemos que en algún momento se detendrán ( MT's no LRE).
Por lo tanto :
Si LR1 U LR2 es un LR (teorema 7.4) mediante también podemos decir que el lenguaje resultante de LR1' U LR2' es un LR (Teorema 7.5) ; si unimos ambos teoremas podemos sacar una expresión del tipo (LR1' U LR2')' que continuaría siendo un LR y que resolviéndola mediante lógica nos daría como resultado la expresión LR1 ∩ LR2 que continuaría siendo un LR.
Un diseño posible de una MT para comprobar esta afirmación seria:
Tenemos LR1 y LR2 como LR por lo tanto sabemos que existen una MT1 y MT2 ( una para cada lenguaje ) en las cuales sabemos que en algún momento se detendrán ( MT's no LRE).
Por lo tanto :
Si LR1 U LR2 es un LR (teorema 7.4) mediante también podemos decir que el lenguaje resultante de LR1' U LR2' es un LR (Teorema 7.5) ; si unimos ambos teoremas podemos sacar una expresión del tipo (LR1' U LR2')' que continuaría siendo un LR y que resolviéndola mediante lógica nos daría como resultado la expresión LR1 ∩ LR2 que continuaría siendo un LR.
Un diseño posible de una MT para comprobar esta afirmación seria:
jueves, 8 de mayo de 2008
Resumen Semanal 28 de Abril a 4 de Mayo
Lo que hemos hecho esta semana es acabar de subir la MT que faltaba (generador de cadenas Banb2nanB) y decidir que vamos a realizar para exponer en clase.
Resumen Semanal 21-27 de Abril
El lunes por la tarde quedamos en la biblioteca para realizar las diversas MT que había que realizar; por suerte estan MT resultan bastante más sencillas que la anterior (el calculo de los divisores) y en un par de horas las tenemos hechas y probadas.
A lo largo de la semana las vamos subiendo al Blog.
A lo largo de la semana las vamos subiendo al Blog.
Suscribirse a:
Entradas (Atom)