APORTE TRABAJO COLABORATIVO 1
AUTOMATAS Y LENGUAJES FORMALES TUTOR: VICTOR FERNANDO CANON RODRIGUEZ
PRESENTADO POR: YEINER ANDRES MARTINEZ GUTIERREZ COD: 1081813370 GRUPO: 301405_69
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD CEAD VALLEDUPAR MARZO 2016
Problemas a desarrollar:
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 EJ1
LENGUAJE L= {w | w tiene al menos una a y a tiene al menos una b} sobre {a, b}.
ER a¿ b b¿
EJ2
L={w | w empieza por b y termina en a}
bb¿ a(a+b b¿ a)¿
EJ3
El lenguaje de las palabras que tiene a abb o bba por subcadena
(aa¿ b(aa¿ b)¿ b+aaa¿ b (aa¿ b)¿ b+abb¿ a)(a+b)¿
EJ4
L= {w |w , todo que empieza con b o d y termina en a o c} seguidas de una serie de f ó de g.
(bf ¿ a+ dg¿ c )¿
EJ5
(ab U c)* d
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.
La ER4 es un AFND se convierte en un AFD
1. Describa la forma matemática del autómata.
M =( { q 0, q 1, q 2 } , {a ,b , c , d , f , g } , ∂ , q 0, {q 0 }) . 2.
Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del ejercicio propuesto).
K= { q 0, q 1,q 2 } A= { a , b , c , d , f , g } I =q 0
F=q 0 Donde la función
∂ : { q 0, q 1, q 2 } x { a , b , c , d , f , g } → {q 0, q 1,q 2 } viene dada por :
∂ ( q 0, b ) =q 1 ∂ ( q 1 , f )=q 1 ∂ ( q 1 , a )=q 0 ∂ ( q 0 , d )=q 2 ∂ ( q 2 , g )=q 2 ∂ ( q 2 , c )=q 0
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 pie de página o de lo contrario no tienen validez). Secuencia afb
Desde q0 se pasa a q1 con valor a aceptando el parámetro y continuando con la transición.
La secuencia sigue su camino cambiando su valor en q1 a f y volviendo al mismo estado.
La secuencia retorna al estado inicial con valor de b y colocando el fin de la secuencia en verde para notificar que la cadena ingresada ha sido aceptada.