AUTOMATAS Y LENGUAJES FORMALES

TAREA 3 – CONSTRUCCION AUTOMATAS DE PILA

SERGIO YAMID BUITRAGO LEON – CODIGO: 1014219886

CRISTHIAN DAVID DAZA SERNA – CÓDIGO: 1121864734
CARLOS RODRIGUEZ ORTEGA: 1120579477
FRANYER ALBERTO LÓPEZ CÓDIGO: 1121952318

GRUPO: 301405_69

Tutor: Rafael Pérez Holguín

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
AUTOMATAS Y LENGUAJES FORMALES
SAN JOSE DEL GUAVIARE
ABRIL 2021
 Ejercicio Grupal: Minimización de Autómatas
Deben diligenciar la siguiente información:

EJERCICIO
PARA
TRABAJAR

Procedimiento de Paso 1: Identificación de los estados

minimización
X = {q4, q6} Conjunto de estados Aceptadores
Y = {q0, q1, q2, q3, q5} Conjunto de estados No aceptadores

Paso 2: validación de estados equivalentes.

Paso 3: Formación de estados

Paso 4: Nuevo conjunto de estados a partir de las equivalencias

A = {q4}
B = {q6}
C = {q0, q1}
D = {q2, q3, q5}

Paso 5: Se valida la equivalencia de los estados

Paso 6: Se determina que los estados del conjunto C no son

equivalentes por lo que se repite la validación de equivalencias
con nuevos estados

A = {q4}
B = {q6}
D = {q2, q3, q5}
E = {q0}
F = {q1}

Paso 7: Se crea las tablas para validar los nuevos conjuntos.

 Paso 8: Tabla de transiciones del autómata minimizado

Resultado del
Autómata
minimizado

Notación formal
Definición Formal del autómata de pila mediante la quíntupla
( Σ ,Q , f , q 0 , f )
Σ=¿ Es el alfabeto Σ={0,1}
Q=¿ Es el conjunto finito de Q={A , B , D , E , F }
estados
delϵ autómata
q0 Q=¿ Es el estado inicial
f q 0 ϵ Q=E 0 1
minimizado
del autómata A D
F ⊆Q : Es el conjunto deB F ⊆Q :{ A , B } D D
estados finales D D A
f =¿ Es una aplicación E f =σ =( q 0 , , ) ,(qA0 ,) F
denominada función de F A D
transición de ternas

Caracterización El autómata lo podemos definir de la siguiente manera definido por

del autómata parte la dupla ( Σ ,Q , f , q 0 , F)
teórica Σ={0,1} este es el alfabeto del autómata
Q={A , B , D , E , F } conjunto finito de los estados del autómata y
no son vacíos
q 0 ϵ Q=E estado inicial del autómata
F ⊆ Q :{ A , B } conjunto de los estados finales
f =σ =( q 0 , , ) ,( q 0 ,) función de transición

Lenguaje Regular La expresión regular de nuestro autómata minimizado queda de la

siguiente manera

0+10+(00+1(1+00))(0+10)*1
Gramática del Generada en Jflap
autómata

Ahora bien, complementando el aporte si a esta gramática le

eliminamos lambda, la gramática quedaría de la siguiente forma.
Realizado en jflap
Podemos observar como en jflap se puede suprimir la lambda
pudiéndose exportar a jflap en forma independiente y generar el
autómata.

De forma manual tenemos

V = { E , A , D , B , F } conjunto de variables o nodos
T ={ 0,1 } comjunto de alfabetoP= producionesE → 0 A∨1 F A → 0 D
D →0 D∨1 A B→ 0 D∨1 DF → 0 A∨1 Ds= { E }
simboloinicial
Validación de
cadenas

Practicar y
verificar lo
aprendido

Para la cadena 11101, tenemos que

de E partimos a F con 1

de F partimos a D con 1

de D partimos de a A con 1 . donde llegamos a un estado de

aceptación

de A partimos a D con 0

de D partimos a A con 1. Volviendo al estado de aceptación

 REFERENCIAS BIBLIOGRAFICAS
 SF. Angela María González Jaramillo. autómatas de Pila. Recuperado de:
https://www.youtube.com/watch?v=o9eUECLgQno
 SF. Fernando Luque. Gramáticas Regulares. Recuperado de
https://www.youtube.com/watch?v=BcAZI87KF98
 27 de abril de 2010. Luzem. Practica 7 Conversiones Autómatas lenguajes regexp
en JFlap, Recuperado de https://www.luzem.com/2010/04/27/practica-7-
conversiones-automatas-lenguajes-regexp-en-jflap/
 10 de mayo de 2013. Hilda Yelitza Contreras Zambrano. gramáticas libres de
contexto. Recuperado de https://www.youtube.com/watch?v=V8a2-O20Ebo
 9 de Noviembre de 2014. Mike28gt. gramáticas introducción. Recuperado de
https://www.youtube.com/watch?v=0uOp43gzTmk