John Velez Grupo 37 Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
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
9/04/2020
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

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
δ (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}
- 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
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
δ (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.
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
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

John Velez Grupo 37 Colaborativo 2

Cargado por

Copyright:

Formatos disponibles

John Velez Grupo 37 Colaborativo 2

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

John Velez Grupo 37 Colaborativo 2

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

AUTOMATAS Y LENGUAJES FORMALES

Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto

Rolando Fabian Junco

JUAN PABLO ANAYA RODRIGUEZ (1016090463)

JOHN JAIRO VELEZ GAVILAN (1018418744)

CARLOS ANTONIO RAMOS HIDALGO (1061813817)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

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

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

Procedimiento Para iniciar con el proceso de minimización del

- Paso 1: Identificación de los elementos del

Este es un autómata finito determinista, 5-

Q es un conjunto finito de estados:

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

δ es una función de transición:

F es un conjunto de estados finales o de

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

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

- Paso 4: Ahora con el resultado de la tabla

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

- Paso 5: Ahora con estos conjuntos

Con esto confirmamos que cada conjunto es

- Paso 6: Ahora se crea la nueva tabla de

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

Q es un conjunto finito de estados:

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

δ es una función de transición:

F es un conjunto de estados finales o de

Lenguaje En este espacio agrega el lenguaje regular del

Esto se nota de la siguiente manera:

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

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

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

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

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

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

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

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

También podría gustarte