TAREA 6

A)
Mediante un generador canónico que cree cadenas del alfabeto restringido {0,1,B}, para mas tarde pasar la cadena al reconocedor de MT para que decida si pertenece o no el codigo generado a una MT

B)
la opción 2 ya que nunca voy a conseguir tenerlas todas (infinitas).

Intersección de dos LRE

Siendo L1 y L2 LRE, L lenguaje interseccion de ambos, X una cadena q pertenece al lenguaje L y sabiendo por la defenicion q la interseccion de LRE son cerrados entonces L es un LRE:
Siendo M1 y M2 maquinas que aceptan las cadenas de L1 y L2 respectivamente, podemos obtener una maquina M que nos diga si X pertenece a L, ya que si al pasarle una cadena X a M, M1 la acepta y M2 tambien significara q la maquina M la acepta por lo que pertenecera al lenguaje L y esta sera la interseccion entre L1 y L2.


Por problemas hemos tenido un pequeño retraso :( , perdonad las molestias :)

Diario semana 21-4-2008

Durante la semana nos reunimos 4 dias: lunes,martes y jueves de la semana del 21 y el lunes 28. En los tres primeros dias realizamos la primera parte del trabajo que habia que publicar el lunes.
Mientras que el lunes 28 quedamos para realizar la segunda parte del entregable,

Máquina de Turing que genera las cadenas del lenguaje L={ a^nb^2na^n, con n mayor o igual a 0}

Lo hemos hecho una multicinta en la q en la primera se hacen operaciones y en la segunda se escribe el resultado.

Empezamos con las dos cintas en blanco y de q0

MT MULTICABEZAL que nos permite ordenar por orden creciente secuencias de 0's separadas por 1's.

MT que nos permite ordenar por orden creciente secuencias de 0's separadas por 1's.

MT MULTICABEZAL que nos permite saber las secuencias de 0's de una cinta de entrada, donde las secuencias de 0's vienen separas por 1's.