RECONOCIMIENTO GENERAL DEL CURSO

AUTOMATES Y LENGUAJES FORMALES

PRESENTADO:

FELIPE SERRANO ZAMORA

Cod. 1033685327

fserranozamora@gmail.com

Zona centro

Cead Jose Acevedo y Gomez

Grupo: 301405-15

Tutor:

VICTOR FERNANDO CANON RODRIGUEZ

AUTOMATAS Y LENGUAJES FORMALES

INGENIERIA DE SISTEMAS

ESCUELA DE CIENCIAS BASICAS, TECNOLOGICAS E INGENIERIAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

CEAD JOSE ACEVEDO Y GOMEZ - BOGOTA – 2016

 INTRODUCCIÓN

Este trabajo de reconocimiento se puede resumir de especificar y conocer el desarrollo

inicial de los autómatas, las expresiones regulares y los lenguajes que puede generar estos
ejercicios propuestos.
 Desarrollo de la actividad

1. Las expresiones regulares (ER), pueden también escribirse de otras formas o con otra
secuencia de operadores o distribución de símbolos. En general es una forma matemática
que representa el Lenguaje que genera un Autómata. Y esas expresiones regulares siempre
serán válidas siempre y cuando representen exactamente el mismo lenguaje para un
Autómata. Concluyendo, para un Autómata, puede haber más de una ER que representa el
mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera
escribir. Solo que en los diseños óptimos computacionales siempre se buscará la mejor ER
(corta o mínima) para efectos de la mejor simulación o para llevarlas a lenguajes de
programación en la creación de soluciones computacionales (solucionar problemas -
Algoritmos) Dados los siguientes ítems, Autómatas Finitos Deterministas, Autómatas Finitos
no Deterministas, lenguajes y expresiones regulares (ER), encuentre según corresponda:

AFN/AFD Lenguaje Expresión Regular

EJ1 L= {w | w tiene al a(ab)/ab

menos una a y a y
tiene al menos una
b} sobre {a,b}

EJ2 El lenguaje tiene la a*(ab) U b*(ba) U

cadena aa palabras a*(ab)
aab, unido a las
subcadenas bba y
aab,
EJ3 El lenguaje de las (ab)*b U b*(ba)
palabras que tiene a
abb o bba por
subcadena

EJ4 La subcadena dcf (dc)*g U f*(ab)

tiende a la union
con la subcadena
fab.

EJ5 El lenguaje de la (ab U c )*d

cadena ab tiende a
la union de la
cadena ca y las
palabras ad.
2. PARA LA EXPRESION REGULAR:

(cb)*ca (ab)*U b(ba)*b U (ab)*a(ba)*b

SIMPLIFIQUE LA EXPRESIÓN REGULAR Y RESUELVA:

1. Describa la forma matemática del autómata.

L= {(ab), (ba), (ca), (cb)} │ a, b, b ≥ 0}

2. Plasme la tabla de transición. Identifique que tipo de autómata es (AFD o AFND) y

justifique su respuesta. (No se trata de dar el concepto de determinismo sino de
justificarlo asociando la respuesta al diseño del autómata)

Es un Autómata Finito Determinísticos AFD: debido a que están determinando la ruta por
donde puedo pasar o recrear o correr las cadenas que puede aceptar el autómata.

3. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata
del ejercicio propuesto). Debe explicar y describir cada elemento y la función y
significado en el autómata. Conceptos y definiciones adicionales.
T = (a,b,c) es el alfabeto que contiene estos dos símbolos

V = {q0, q2, q3, q4, …, q69} son los estados que contiene la presente autómata

S = {q0}

4. Identifique el lenguaje que genera.

L = (a,b,c)
 El lenguaje que genera según la tabla de transiciones y el diagrama realizado, es una
cadena que deben tener dos estados iguales en cualquier parte de la cadena “ab”, “ba”, “cb”
ó “ca” y puede empezar la cadena con 0 ó 1. El lenguaje aceptado por esta autómata es:

- ab

- ba

- ca

- cb

5. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada
secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de
página o de lo contrario no tienen validez)

En la primera imagen ser recorre la letra c

Después de recorrer, recorre y devuelve la letra cb, para pasar a la cadena a, ab hasta
recorrer a la letra b.
Luego prosigue a la palabra ba para pasar por b y terminar la subcadena ab.

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres

similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(herramientas que ofrezca uno u otro).

Este diagrama esta realizado en JFLAP, porque es extenso, pero no podemos realizarlo en
VAS, porque no aparece el enlace de descarga.

6. Genere tres cadenas válidas y dos no válidas.

Expresion Gramática Validez

(cb)*ca(ab) U b(ba)*b U (ab)*a(ba)b Valido

c(cb)*a(ab) U b(ab) ab U b(ab) U b(ab) Valido

ab U b(ab) Valido

c(cb)*ca(ab) No valido

b(ba)*b No valido

3.
Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el mismo
lenguaje; o por lo contrario si el autómata inicial es un AFND, genere un AFD que reconozca
el mismo lenguaje.

1. Describa la forma matemática del autómata

L= {(ab), (ba), (ca), (cb)} │ a, b, c ≥ 0}

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata
del ejercicio propuesto).

T = (a,b,c) es el alfabeto que contiene estos dos símbolos

V = ({q0,q2,q3,q4,q6,q10,q14}),
({q1,q5,q13,q21,q31,q32,q33,q45,q46,q49,q56,q57,q58,q62,q65,q67,q68})son los estados
que contiene la presente autómata

S = ({q0,q2,q3,q4,q6,q10,q14})

3. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique

cada secuencia.(No se trata solo de captura las imágenes, estas deben ser explicadas
en pié de página o de lo contrario no tienen validez)
En la primera imagen ser recorre la letra c

Después de recorrer, recorre y devuelve la letra cb, para pasar a la cadena a, ab hasta
recorrer a la letra b.
Luego prosigue a la palabra ba para pasar por b y terminar la subcadena ab.

4. Muestre el diagrama de Moore generado en JFLAPy en VAS

5. Identifique la ER asociada al nuevo diseño y compárela con la expresión regular
simplificada (es decir analícelas con dos cadenas válidas y con dos no válidas). Para ello
debe identificar en una tabla la jerarquía de operadores regulares, identificando con colores
las sentencias matemáticas. Para ello apóyese en
el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video
http://youtu.be/wGTxhnPXcw4

(cb)*ca (ab)*U b(ba)*b U (ab)*a(ba)*b (cb)*ca (ab)*U b(ba)*b U (ab)*a(ba)*b

Tiene siete caracteres obligatorios para recorrer Solo necesita tres carácteres para llegar al
el camino hasta el final. estado final.