ACTIVIDAD COLABORATIVA 3

WILSON RAMREZ ZULUAGA

COD 18520991
WILSON.RZ@GMAIL.COM
CEAD: PEREIRA

GRUPO 301405 - 9

TRABAJO ESCRITO Y PRESENTADO AL TUTOR (a)

CARLOS ALBERTO AMAYA TARAZONA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MODULO DE AUTOMATAS Y LENGUAJES FORMALES
2014

Disee una MT que genere cadenas de tipo { (aa) (aaaa) (aaaaaa) (aaaaaaaa)
(aaaaaaaaaa) }

1. Identifique la regla que define las cadenas de la MT (es igual que

encontrar o definir el lenguaje que acepta la MT). Debe denotarse en
cualquier caso en notacin matemtica.
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.
(recorriendo cinta y datos de entrada)
6. Ejecute el RunTest a la cadena aceptada (mustrela en la captura
de imagen que le genera JFLAP asociada a cada transicin para el
trabajo). El RunTest iplica identificar cada iteraccin en la que se
muestre el carcter ledo, e contenido de la cinta, lo que falta por leer.
7. Identifique en que momento la mquina se detiene.
8. Visualice las salidas (como transductor) para 5 cadenas vlidas en el
simulador JFLAP
9. Identifique si el diseo de la Mquina de Turing obedece a un
complemento a 1 de un nmero binario. Justifique su respuesta y
documntela. (tenga en cuenta citas y referencias de autores). No se
limite a copiar definiciones.