UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

AUTOMATAS Y LENGUAJES FORMALES

Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto

Presentado a:

Rolando Fabian Junco

Tutor

Realizado por:

JUAN PABLO ANAYA RODRIGUEZ (1016090463)

JOHN JAIRO VELEZ GAVILAN (1018418744)

CARLOS ANTONIO RAMOS HIDALGO (1061813817)

Grupo: 301405_37

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS E TECNOLOGÍA E INGENIERÍA – ECBTI

BOGOTA.D.C

6/05/2020
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

DESARROLLO

Actividad 2:

Teniendo en cuenta el siguiente autómata realice:

1. Realice el proceso paso a paso la minimización del autómata

Para el autómata ya minimizado realice:

2. Realice la notación formal (caracterización) matemática del autómata

ya minimizado
3. Identifique El Lenguaje que reconoce.
4. Identifique su gramática (de forma manual) por la derecha y
caracterícela. Debe incluir el diagrama de estados con los
componentes de la gramática asociados a las variables y a las
constantes.

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

Procedimiento Para iniciar con el proceso de minimización del

de automata determinista, se realizan los siguientes
minimización pasos:

- Paso 1: Identificación de los elementos del

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

automata.

Este es un autómata finito determinista, 5-

tupla (Q, Σ, q0, δ, F) donde:

Q es un conjunto finito de estados:

{q0, q1, q2, q3, q4, q5, q6}

Σ es un alfabeto finito:

{0,1,2}

q0 es el estado inicial:

{q1}

δ es una función de transición:

δ (q1, 1) = q2

δ (q1, 2) = q0

δ (q0, 0) = q5

δ (q0, 1) = q2

δ (q2, 0) = q5

δ (q2, 1) = q2

δ (q2, 2) = q4

δ (q3, 0) = q6

δ (q3, 1) = q2

δ (q4, 0) = q5

δ (q4, 1) = q2

δ (q4, 0) = q6

δ (q5, 0) = q6
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

δ (q5, 1) = q2

δ (q5, 2) = q4

δ (q6, 0) = q6

δ (q6, 1) = q2

δ (q6, 2) = q6

F es un conjunto de estados finales o de

aceptación:

{q0, q1, q2, q3, q4, q5, q6}

- Paso 2: Ahora los estados, los definimos
bajo dos variables donde los separamos
entre estados finales y no finales.

Estado aceptadores:
X = {q0, q1, q2, q3, q4, q5, q6}

Estado No aceptadores:
Y={}

- Paso 3: Con la información del paso 2, ahora

segundo la transición vamos clasificando las
variables:

0 1 2
q0 X X
q1 X X
q2 X X X
q3 X X
q4 X X
q5 X X X
q6 X X X

- Paso 4: Ahora con el resultado de la tabla

anterior, sacamos los conjuntos
equivalentes:

Conjunto 1 (M): {q0, q3, q4}

Conjunto 2 (N): {q2, q5, q6}
Conjunto 3 (Z): {q1}
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

- Paso 5: Ahora con estos conjuntos

resultantes volvemos a realizar lo mismo del
paso 3 pero con los nuevos conjuntos

Para M
M 0 1 2
q0 N N
q3 N N
q4 N N

Para N
N 0 1 2
q2 N N M
q5 N N M
q6 N N N

Para Z
Z 0 1 2
q1 N M

Con esto confirmamos que cada conjunto es

válido y no es necesario realizar ninguna otra
validación entre ellos.

- Paso 6: Ahora se crea la nueva tabla de

transiciones.

0 1 2
M N N
N N N M
Z N M

Resultado del
Autómata
minimizado
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

Notación Este es un autómata finito determinista, 5-tupla

formal (Q, Σ, q0, δ, F) donde:

Q es un conjunto finito de estados:

{q0, q1, q2, q3, q4, q5, q6}

Σ es un alfabeto finito:

{0,1,2}

q0 es el estado inicial:

{q1}

δ es una función de transición:

δ (q1, 1) = q2

δ (q1, 2) = q0

δ (q0, 0) = q5

δ (q0, 1) = q2

δ (q2, 0) = q5

δ (q2, 1) = q2

δ (q2, 2) = q4

δ (q3, 0) = q6

δ (q3, 1) = q2

δ (q4, 0) = q5

δ (q4, 1) = q2

δ (q4, 0) = q6

δ (q5, 0) = q6

δ (q5, 1) = q2

δ (q5, 2) = q4
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

δ (q6, 0) = q6

δ (q6, 1) = q2

δ (q6, 2) = q6

F es un conjunto de estados finales o de

aceptación:
{q0, q1, q2, q3, q4, q5, q6}

 Lenguaje En este espacio agrega el lenguaje regular del

Regular autómata.

Rst:
El lenguaje que reconoce el autómata está formado
por todas las cadenas que se construyen de la
siguiente forma: el autómata parte de q0, lee un
símbolo o se caracteriza y según el estado en que
se encuentre, cambia de estado haciendo esto con
cada carácter de la cadena hasta llegar a un estado
final.

Esto se nota de la siguiente manera:

L(M)={uЄ A* /d (q0, u)Є F}, donde M es el
autómata finito definido como M = (Q, A, d, q0, F)

 Gramática del En este espacio agrega la gramática del autómata.

autómata Identifique su gramática (de forma manual) por la
derecha y caracterícela. Debe incluir el diagrama
de estados con los componentes de la gramática
asociados a las variables y a las constantes.
Rst:
En este caso se llama Gramática Regular Lineal por
la derecha, ya que el símbolo no terminal del
consecuente (parte derecha de la flecha) es el que
se encuentra a la derecha de los símbolos.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

Bibliografía

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de

autómatas y lenguajes formales. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 119 - 127). Recuperado
de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Co
ver

CK-12, (2014). Connecting Science and Mathematics to Engineering.  [OVI].

Recuperado de   http://www.ck12.org/book/Engineering%3A-An-Introduction-for-
High-School/section/5.3/

González, A. [Ángela] (2017, mayo 16). Minimización de un autómata. [Archivo de

video]. Recuperado de https://youtu.be/eOynYG8Ibk0

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18317

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=10566114&ppg=10

Hernández Rodríguez, L. A. (2012). Practique la teoría de autómatas y lenguajes

formales. Retrieved from http://bibliotecavirtual.unad.edu.co/login?
url=http://search.ebscohost.com/login.aspx?
direct=true&db=edselb&AN=edselb.3199845&lang=es&site=eds-live&scope=site

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=10844351