Sunteți pe pagina 1din 15

AUTÓMATAS Y LENGUAJES FORMALES

FASE 1

Presentado por:

MILLER MAURICIO RODRÍGUEZ


Código: 1070751428

Grupo: 301405_52

Presentado a:

MAGDA LORENA ZUÑIGA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


PROGRAMA INGENIERÍA DE SISTEMAS
OCTUBRE 2016
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 ítem, Autómatas Finitos Deterministas, Autómatas Finitos no
Deterministas, lenguajes y expresiones regulares (ER), encuentre según
corresponda

AFN / AFD LENGUAJE EXPRESION


REGULAR
EJ Todas las cadenas que ((00)*(1+01)0*1)*
1 comiencen con 1, que tengan (00)*(1+01)0*
cualquier cantidad de ceros o
unos y terminen en 1 o 1 + 0, o
todas las cadenas que empiecen
con 0, seguidas por al menos un
cero, cualquier cantidad de ceros
y unos, y que terminen en uno. Y
las seguidas por un uno.
EJ Todas las cadenas que empiecen (11*10)*11*
2 por lo menos con un 1, le siga
cualquier cantidad de unos, y
terminen en 0 + 1.

EJ Todas las cadenas que empiecen (11*(10+00))*11*


3 por lo menos con un uno, le siga
cualquier cantidad de unos, al
menos un 0 y terminen con
cualquier cantidad de unos.
2. PARA LA EXPRESION REGULAR: ca*+bb*ab(a+b+cc*b)*

SIMPLIFIQUE LA EXPRESIÓN REGULAR Y RESUELVA:


ca¿ +b b¿ ab(a+ λb+c c ¿ b)¿ → λr=r
¿
ca¿ +b b¿ ab(a+ ( λ+c c ¿ ) b) → ( r + s ) t=rt + st

ca¿ +b b¿ ab(a+ c ¿ b)¿ → λ+s s ¿=s ¿

a¿ (c¿ b) s
(¿¿ ¿)¿ r¿
¿
ca¿ +b b¿ ab ¿ →¿
(a¿ )
¿ ¿ ¿ ¿ ¿
(¿ ¿ ¿(c b)) →(s ) =s
ca¿ +b b¿ ab ¿
ca¿ +b b¿ ab(a ¿ c ¿ b)¿ →(s ¿ )¿ =s ¿
¿ ¿ ¿
ca +b b ab(acb)

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


AFD=[(q 0,q 1, q 2, q 3, q 4,q 5) ,( a ,b ,c ) ,{q 3 }, {q 4, q 5 }, {δ }]
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)
a b c

q0 q1 q0 x

q1 x q5 x

q2 x q5 q2

q3 x q0 q4

q4 q4 x x

q5 q5 q5 q2
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.
Este autómata es una quíntupla compuesta por los siguientes elementos:
A=(Q , Σ , q 0, δ , F)
q 0=Estado inicial .
δ=Función de Transición
F=Estados de Aceptación
Q=Conjunto de estados .
Σ= Alfabeto .

Donde:
q 0=q 3
F={q 5, q 4 }
Q={q 0, q 1, q 2, q 3, q 4, q 5 }
Σ={a , b , c }

δ={(q 0, a)→q 1,(q 0, b)→ q 0,( q 1,b)→ q 5,(q 2, b)→ q 5,(q 2, c)→ q 2,(q 3, b)→ q 0,(q 3, c )→ q 4 ,(q 4, a

4. Identifique el lenguaje que genera.


Cadenas conformadas de una de las siguientes maneras:
Palabras con una c y cero o más as.
Palabras iniciadas con una o más bes, seguidas por abes y que pueden o no
contener subcadenas de as, seguidas por bes y al menos una b.

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)
6. 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).

JFLAP

VAS
Similitudes y diferencias JFLAP:
 A diferencia del VAS no se puede ver la tabla de transición.
 Se pueden colocar múltiples caracteres que se leen para una sola
transición.
 Este simulador permite muchas funciones, como la minimización, la
conversión a una gramática, la conversión a una ER, convertir a un DFA,
combinar DFA.

Similitudes y diferencias en VAS


 Se puede hacer una tabla de transición.
 Cada estado a crear debe ser nombrado.
 Tiene la opción de dar instrucciones por consola.
 Se puede centrar el autómata a la mitad del lienzo.

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


1. Teniendo en cuenta el siguiente autómata identifique si es AFD o
AFND, Si 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.
Este autómata inicial es un NFA.

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


DFA=({q 0, q 1, q 2, q 3 }, {0,1, λ }, q 0, δ , {q 1 })
2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autómata del ejercicio propuesto).
Este es un Autómata Finito Determinista, compuesto por los siguientes
elementos:
q 0=Estado inicial .
δ=Función de Transición
F=Estadosde Aceptación
Q=Conjunto de estados .
Σ= Alfabeto .

Donde:
q 0=q 0
F=¿ {q1}
Q={q 0, q 1, q 2, q 3 }
Σ={0,1,}

δ={(q 0,1)→ q 1,(q 1,1) → q 2,(q 1, 0)→ q 3,(q 2,0) → q 2,(q 2,1)→ q 2,(q 3,0) → q 2,(q 3,1)→ q 3 }
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)
4. Muestre el diagrama de Moore generado en JFLAP y en VAS
JFLAP

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.
¿ ¿ ¿
ER = 1+11(1+0) +10 1 ( λ+0 (1+0) )
Simplificacion
¿ ¿ ¿
1+11(1+0) +10 1 ( λ+0 (1+0) ) → (ab+ ac) ≥ a(b+ c)
¿ ¿ ¿
1+1 ( 1 ( 1+0 ) +0 1¿ ( λ+ 0 (1+ 0 ) ) ) → a¿ (λ+ b ( a+b ) )≥(a+b)¿
¿ ¿
1+1 ( 1 ( 1+0 ) +0(1+0) ) → (ab+ cb)≥(a+c )b
¿
1+1 ( (1+0) ( 1+ 0 ) ) → ab (cd)≥ abcd
1+0
¿
¿
1+1(1+0)¿

VALIDAS
1 + 1(1 + 0)(1 + 0)*
1 1 01
1 1111
NO VALIDAS
1 + 1(1 + 0)(1 + 0)*
0101
0001

VALIDAS
1 + 11(1 + 0)* + 101*(λ + 0(1 + 0)*)
1 101
1 1111
NO VALIDAS
1 + 11(1 + 0)* + 101*(λ + 0(1 + 0)*)
0101
0001

S-ar putea să vă placă și