UNIDAD 2 - FASE 3

MODELAR PROBLEMAS DE LENGUAJES INDEPENDINETES DEL CONTEXTO.

AUTOMATAS Y LENGUAJES FORMALES

301405_18

ELABORADOR POR

RONALD DAVID CASTRO – 1.128.416.801

DANIEL STEEVEN FRANCO JARAMILLO – 1.036.656.743

JORGE IVAN CARVAJAL -

JUAN CAMILO GIL -

PRESENTADO A TUTOR

ROLANDO FABIAN JUNCO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MEDELLIN

2019
 Actividad Colaborativa

Teniendo en cuenta el siguiente autómata realice:

EJERCICIO A
TRABAJAR
Procedimiento Realice de manera detallada el procedimiento paso
de a paso de la minimización del autómata.
minimización
- Paso 1. Revisar los estados inaccesibles y en el
autómata dado que todos tienen estado de salida a
otros estados y de llegada no se elimina, ningún
estado.

- Paso 2. Descripción formal del autómata

M = {{q0, q1, q2, q3, q4, q5}, {a,b}, δ, {q0}, {q0,q1}}

K = {q0, q1, q2, q3, q4, q5}

∑ = {a,b}

S = q0 (Estado inicial)

F = q0,q1 (Estado Final)

Transiciones δ:

δ (q0, a) = q1 δ (q4, a) = q1

δ (q1, a) = q1 δ (q4, b) = q5

δ (q1, b) = q0 δ (q5, a) = q3

δ (q2, a) = q0 δ (q5, b) = q4

δ (q2, b) = q3

δ (q3, a) = q1

δ (q3, b) = q2

- Paso 3. Definir los estados aceptadores y no

aceptadores, y validar las transiciones a los
nuevos estados
Estados aceptadores: A = {q0, q1}

Estados no aceptadores: B = {q2, q3, q4, q5}

Conjunto q0 q1
A
a A A
b - A

Conjunto B q2 q3 q4 q5
a A A A B
b B B B B

Paso 4. Validar los estados para encontrar

conjuntos equivalentes para conformar nuevos
conjuntos

Conjunto q0 q1
A
a A A
b B A
Entonces se tiene que:

q2, q3 y q4 son equivalentes

q5 no es equivalente

Del conjunto A ninguno es equivalente por tanto se forma dos

conjuntos:

A = {q0}

C = {q1}

Del conjunto B si hay conjuntos equivalentes que forman

nuevos conjuntos:

B = {q2, q3,q4}

D = {q5}

Paso 6. Validación de los nuevos conjuntos formados

Conjunto q0
A
a C
b -

Conjunto q1
C
a C
b A
Conjunto q5
D
a B
b B

Conjunto B q2 q3 q4
a A A A
b B B D

Como se observa que el conjunto B se divide en dos conjuntos

más pues no son equivalentes, el resto de conjuntos se
mantienen igual.

Por tanto los nuevos conjuntos son:

Conjuntos aceptadores:

A = {q0}

C = {q1}

Conjuntos no aceptadores:

B = {q2, q3}
D = {q5}

E = {q4}

Se valida nuevamente los nuevos conjuntos formados para

saber si aún existen conjuntos equivalentes

Conjunto q0
A
a C
b -

Conjunto q1
C
a C
b A

Conjunto q5
D
a B
b B

Conjunto B q2 q3
a A A
b B B

Conjunto q4
E
 a A
b D

Como se puede observar después de la validación no surgen

nuevos estados equivalentes por tanto no se sigue creando
nuevos conjuntos.

Paso 8. Construcción de la nueva tabla de transición con los

nuevos conjuntos encontrados

Estados a b
#A C -
B A B
#C C A
D B B
E A D

Resultado del
Autómata
minimizado

Notación Definición formal de autómata de conjuntos:

formal
 M = {{A, B, C, D, E}, {a,b}, δ, {B}, {A, C}}

K = { A, B, C, D, E}

∑ = {a,b}

S = B (Estado inicial)

F = A, C (Estado Final)

Lenguaje L = {ω ∈ {a,b}* │ ω = Todas las posibles cadenas que inicien

Regular por a o b y que contengan al menos una b}.

Gramática
del autómata

Bibliografía
Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -
124). Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199845&ppg=10
González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto.
[Archivo web]. Recuperado de https://repository.unad.edu.co/handle/10596/18317
González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=29Qp_AWXFt4
Quispe, V. (2015, Julio 02). Automatas de pila. Recuperado de
https://es.slideshare.net/quispeviki/automatas-de-pila
Lilokind1. (2013, Mayo 16). Autómatas de Pila 3. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=YjEPHAJJAzg

Avba, V. (2012, Noviembre 26). AUTOMATAS Y LENJUAGES FORMALES. Recuperado de

https://www.slideshare.net/viktor479/33-col2-301405
Autómata de Pila. Ciencia de la computación I. Recuperado de:
http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte4.pdf

Capítulo 11. Autómatas de pila. Recuperado de:

http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.pdf

Universidad de Cantabria. Equivalencia entre PDA y CFL. El lenguaje aceptado por un

Autómata con Pila. Recuperado de:
https://ocw.unican.es/pluginfile.php/1516/course/section/1946/3-8_CFL.pdf

Martínez, G. Apuntes de teoría de Autómatas y lenguajes formales. Recuperado de:

http://repositori.uji.es/xmlui/bitstream/handle/10234/5995/parte_1.pdf?sequence=1&isAllow
ed=y