UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Curso: Autmatas y lenguajes Formales - 301405.

GUIA ACTIVIDADES - EJERCICIO A DESARROLLAR PARA MOMENTO 3

2016-1 PERIODO ACDEMICO _16_1 Autmatas y lenguajes Formales_ 301405

Producto del momento tres: El producto es un documento que debe cubrir todos los puntos de la rbrica de
evaluacin y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para luego
ser convertido a PDF (Portable data File).

NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) se deben realizar o
recrear en alguno de los dos simuladores: Los grficos y anlisis de cada simulador son los que se
exportaran al documento de Word. Debe entregar los archivos generados por el simulador en una
carpeta.

Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros que sean
copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas
para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de
grficos manualmente, tambin son aceptados.

El JFLAP. En las siguientes direcciones de Internet podrn descargar las mencionadas herramientas: O
EN EL MODULO DEL AULA (Ver 4 2014 -2) EN LA PAGINA 155 ENCUENTRAN TODA LA LISTA DE
HERRAMIENTAS Y LAS URLS DE DESCARGA.

JFLAP: http://datateca.unad.edu.co/contenidos/301405/2015_1/SIMULADORES/JFLAP.zip

DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente
nombre: Como ejemplo, si el grupo es el 44, entonces el archivo a enviar es: 44_mom3_301405.rar
EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO
DE EVALUACION Y SEGUIMIENTO
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405.

El archivo comprimido contendr los siguientes elementos:

UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe
contener los siguientes puntos
PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que
presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los
puntos enunciados a continuacin.

No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar

concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados
como aportes ni deben ir plasmados en el trabajo.

LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Generados en JFLAP (los
de extensin jff).

Problemas a desarrollar (Para todos los ejercicios Tenga en cuenta que el diseo debe cumplir las
condiciones dadas o de lo contrario se estara diseando una mquina con propsitos diferentes y eso
cambia toda la funcionalidad de la misma.)

PRIMER EJERCICIO: DISEO DE UNA MT COMO TRANSDUCTOR

La mquina de Turing se puede comportar como transductor: Un transductor computa una determinada funcin
sobre una cadena en lugar de computarla sobre un conjunto de enteros o de smbolos independientes.
Construyen una respuesta especfica (una salida) para un problema planteado. Modifica el contenido de la
cinta realizando cierta funcin.

Ejemplos:
Calcula el complemento A1y el complemento A2
Cuenta el nmero de smbolos de una palabra
Divide una palabra en dos
Desplaza smbolos en la cadena a izquierda y derecha
Calcula la paridad de las cadenas
Sustitucin de dgitos
Adicin de bits bajo condiciones especficas matemticas)
Son muchsimas las aplicaciones que como transduccin puede generar una Mquina de Turing

Ejemplo: La siguiente mquinas de Turing se puede comportar como transductor cuando reconoce cualquier
combinacin de ceros y unos, (tambin reconoce ); pero que tiene como salida el inverso de los smbolos
que han entrado (cambia 0s por 1s y 1s por 0s). Observe que en este caso el mismo alfabeto se usa
tanto para las cadenas de entrada como para la cinta.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405.

Actividades a desarrollar:

Disee Una MT que se comporte como reconocedor que reconozca el lenguaje L ={an
bn; n >= 1} (NO incluye o NO acepta la cadena ). El alfabeto de la cinta es debe ser
diferente al alfabeto de entrada. Es decir el alfabeto de entrada es a y el de la cinta 1
con sus respectivos smbolos blanco si es que los necesita en su diseo

1. Identifique los componentes de la Mquina de Turing (descrbala).

2. Disela en un Diagrama de Moore.
3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.
4. Identifique una cadena que no sea vlida y justifquela porque.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco smbolos
6. Identifique en que momento la mquina se detiene.
7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.
8. Mencione y justifique las semejanzas y diferencias entre una Mquina de Turing reconocedora y
una Maquina de Turing Transductora

SEGUNDO EJERCICIO:

Actividades a desarrollar:

Dada la siguiente mquina de Mealy,

M= ({a , b}, {1 , 2}, { q0, q1, q2 }, T, S)

Funcin Transicin Funcin Salida

T a b S a b
Q0 Q0 Q2 Q0 1 2
Q1 Q0 Q1 Q1 1 2
Q2 Q0 Q1 Q2 2 1

1. Identifique los componentes de la Mquina (descrbala).

2. Disela en diagrama (Mquina de Mealy).
3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.
4. Identifique una cadena que no sea vlida y justifquela porque.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres smbolos
6. Identifique en que momento la mquina se detiene.
7. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco diferencias con las
Mquinas de Turing (MT).

TERCER EJERCICIO:

Actividades a desarrollar:

1. Realice la conversin paso a paso de la mquina de Mealy del ejercicio del punto 2 a la mquina
de Moore equivalente. Se debe realizar la explicacin de cada paso que se realice
2. Identifique los componentes de la Mquina de Turing (descrbala).
3. Disela en un Diagrama de Moore.
4. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.
5. Identifique una cadena que no sea vlida y justifquela porque.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405.

6. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco smbolos
7. Identifique en que momento la mquina se detiene.

Consideraciones generales:

No se calificar el informe que no sea montado en el espacio indicado. Recuerde que el Foro es el espacio
adecuado para construir y desarrollar el trabajo de forma colaborativa, la clave es la planificacin, organizacin
y compromiso del equipo de trabajo. Revisen los aportes para la consolidacin de los trabajos en cuanto a si
estn correctos y caracterizados de acuerdo a lo solicitado. Puede solicitar revisiones previas de su avance de
trabajo o aportes antes de consolidar, formulando sus inquietudes en el espacio de dudas e inquietudes

El estudiante que no participe en el foro de trabajo colaborativo durante el perodo establecido en la agenda del
curso, obtendr una nota de 0 en esta actividad (Tngase en cuenta que los aportes realizados dos das
antes del cierre de la actividad, no se tendrn en cuenta). No se aceptan como aportes o insumos,
enunciados o mensajes que solo digan o expresen intenciones de trabajar.

El plagio tiene una calificacin de 0 en la actividad.

Recomendaciones

Leer cuidadosamente las indicaciones registradas en los foros (noticias del curso, foro general, foro del
trabajo colaborativo), por parte del director(a), para el adecuado desarrollo de los diferentes momentos
diseados.
Consultar con su tutor(a), cada vez que lo requiera, para aclarar dudas e inquietudes que se presenten
en el proceso.
Avanzar con el desarrollo de las actividades solicitadas en cada uno de los momentos de acuerdo a las
fechas registradas en la agenda.

Lo importante no es el tiempo, lo importante es lo que se hace con l