FASE 2 AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO

DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE

AUTÓMATAS CON PILA Y GRAMÁTICAS

PRESENTADO POR:

JONATHAN BERGAÑO C

GRUPO:

301405_3

TUTOR
CESAR JIMÉNEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

31/10/2018
 INTRODUCCIÓN

El trabajo colaborativo tiene material académico correspondiente al curso, como un

proceso intermedio del contenido que abarca la Teoría de Autómatas y lenguajes
Formales, recorriendo las temáticas, de una manera simple objetiva y efectiva.

Se pretende identificar y comprender los conceptos y definiciones fundamentales

para el estudio de lenguajes Independientes del contexto, autómata a pila, autómata
a pila por vaciado, autómata a pila por estados finales, definición de gramática con
sus características y tipos de gramáticas.
Teniendo en cuenta el siguiente autómata realizar el proceso de minimización. Se debe
realizar el procedimiento paso a paso.

 Realice la notación formal (caracterización) matemática del autómata ya

minimizado.

De acuerdo a la definición formal tenemos

𝐴 = {{𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5 , 𝑞6 , 𝑞7 }, {1,2}, 𝛿, 𝑞0 , {𝑞7 , 𝑞4 }}

Donde, estados del autómata:

𝐾 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5 , 𝑞6 , 𝑞7 }

El Lenguaje reconocido por el autómata:

∑ = {1,2}

Estado inicial:
𝑠 = 𝑞0

Estados finales o de aceptación:

𝐹 = 𝑞4 , 𝑞7
Transiciones del autómata:

𝜹: (𝑞0, 1) = 𝑞1
𝜹: (𝑞0, 2) = 𝑞2
𝜹: (𝑞1, 1) = 𝑞5
𝜹: (𝑞1, 2) = 𝑞3
𝜹: (𝑞2, 1) = 𝑞6
𝜹: (𝑞2, 2) = 𝑞4
𝜹: (𝑞3, 1) = 𝑞7
 𝜹: (𝑞3, 2) = 𝑞1
𝜹: (𝑞4, 1) = 𝑞1
𝜹: (𝑞4, 2) = 𝑞5
𝜹: (𝑞5, 1) = 𝑞3
𝜹: (𝑞5, 2) = 𝑞7
𝜹: (𝑞6, 1) = 𝑞4
𝜹: (𝑞6, 2) = 𝑞1
𝜹: (𝑞7, 1) = 𝑞1
𝜹: (𝑞7, 2) = 𝑞2

 Identifique El Lenguaje que reconoce.

Lenguaje generado por el autómata

L= {todas las cadenas que empiezan por un {1} o {2} y terminan en un {1} o {2}},
con al menos tres elementos si comienza por 2 o tres elementos si comienza por
1, sobre el alfabeto {1,2}

 Identifique los estados Distinguibles y los No distinguibles

Estados Distinguibles

𝐴 = {𝑞4, 𝑞7 }

Estados no Distinguibles
𝐵 = {𝑞0, 𝑞1, 𝑞2, 𝑞3 , 𝑞5 , 𝑞6 }

 En el proceso de eliminación de estados, identifique que transiciones se eliminan y

cuáles se re direccionan. Muestre la tabla de estados distinguibles.

Estados equivalentes para primer grupo

𝐴 = {𝑞4, 𝑞7 }
δ 1 2
q4 B B
q7 B B
Estados equivalentes grupo B
𝐵 = {𝑞0, 𝑞1, 𝑞2, 𝑞3 , 𝑞5 , 𝑞6 }

δ 1 2
q0 B B
q1 B B
q2 B A
 q3 A B
q5 B A
q6 A B

Se forman nuevos grupo luego de validación de los dos conjuntos iniciales

𝐴 = {𝑞4, 𝑞7 }
𝐵 = {𝑞0, 𝑞1 }
𝐶 = {𝑞2, 𝑞5 }
𝐷 = {𝑞3 , 𝑞6 }

Tablas de los nuevos conjuntos

𝐴 = {𝑞4, 𝑞7 }
δ 1 2
q4 B C
q7 B C

𝐵 = {𝑞0, 𝑞1 }
δ 1 2
q0 B C
q1 C D

𝐶 = {𝑞2, 𝑞5 }
δ 1 2
q2 D A
q5 D A

𝐷 = {𝑞3 , 𝑞6 }
δ 1 2
q3 A B
q6 A B

Nuevos conjuntos son generados, q0 ingresa al conjunto A y se forma conjunto de

inicio y final E.

𝐸 = {𝑞4, 𝑞7 , 𝑞0 }
𝐵 = {𝑞1 }
𝐶 = {𝑞2, 𝑞5 }
𝐷 = {𝑞3 , 𝑞6 }

Revisando los conjuntos y sus tablas

𝐸 = {𝑞4, 𝑞7 , 𝑞0}
 δ 1 2
q4 B C
q7 B C
q0 B C

𝐵 = {𝑞1 }
δ 1 2
q1 C D

𝐶 = {𝑞2, 𝑞5 }
δ 1 2
q2 D E
q5 D E

𝐷 = {𝑞3 , 𝑞6 }
δ 1 2
q3 E B
q6 E B

Mediante el procedimiento de la minimización encontramos que el estado q0

pertenece al conjunto A formándose y se forma el conjunto E, en este se comporta
como un estado inicial también estado de aceptación, la tabla de transiciones es la
siguiente:

Estados Entradas
1 2
𝑬 𝐵 𝐶
𝑩 𝐶 𝐷
𝑪 𝐷 𝐸
𝑫 𝐸 𝐵

Autómata generado
 CONCLUSIONES

El trabajo representa un aporte significativo a la teoría de gramáticas independientes

del contexto, con el trabajo desarrollado fue posible debatir y desarrollar los
ejercicios planteados sobre autómatas con pila y gramáticas a través de la
realización de ejercicios, donde se evidencio el proceso para la caracterización
matemática del autómata, se plasmó la tabla de transición del autómata indicado,
se logró la identificación del lenguaje que reconoce un determinado autómata,
además de determinar los estados distinguibles y no distinguibles, se evidencia el
proceso de minimización mediante la eliminación de estados, mostrando las
transiciones se eliminan y cuáles van a ser re direccionadas, se logró mediante el
ejercicio la identificación de la gramática de un autómata de forma manual.
 BIBLIOGRAFIA

 Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas

y lenguajes formales. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
498456&ppg=6

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2048/login?user=proveedor&pass=danue
0a0&url=http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db
=nlebk&AN=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales.

(pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10

 Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp.

73-126). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=108
44351