AUTOMATAS Y LENGUAJES FORMALES

UNIDAD DOS
MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL CONTEXTO

Presentado a:
ROLANDO FABIAN JUNCO

Tutor(a)

Entregado por:
PEDRO RONCANCIO M
EINAR ALEJANDRO ROJAS
LUZ MARIELA TRIANA
ARNULFO NUNEZ
JENNYFER ANDREA HINCAPIÉ GONZÁLEZ
Código: 1.103’637.762

Grupo: 21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS, INGENIERÍAS Y TECNOLOGÍAS
CURSO DE AUTOMATAS Y LENGUAJES FORMALES
23 OCTUBRE 2019
 2019

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:

EJERCICIO A
TRABAJAR

Procedimiento Para el autómata M tenemos la 5-tupla (K, Σ, δ, s,

de F), donde:
minimización
M = { { q0, q1, q2, q3, q4, q5 }, { a,b }, δ, { q0 },
{ q3, q4 } }
K = { q0, q1, q2, q3, q4, q5 }, identifica el conjunto
de estados del autómata.
Σ = { a,b }, es el alfabeto de entrada
S = { q0 }, es el estado inicial
F = { q3, q4 } es el conjunto de estados finales o
de aceptación.
δ : K x ∑ → K es la función de transición, que a
partir de un estado y un símbolo del alfabeto
obtiene un nuevo estado. Donde:

δ: {q0, q1, q2, q3, q4, q5} x { a,b } → { q0, q1, q2, q3, q4, q5}

Viene dada por:

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

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

Este autómata es determinista AFD, ya que a lo

sumo desde cualquier configuración sólo existe un
movimiento, como se muestra en la función de
transición y tampoco hay transiciones vacías.
 - Paso 1:
Primero que todo eliminamos los estados
inaccesibles del autómata, dichos estados son q2 y
q3 .
- Paso 2:
Posteriormente con los estados restantes
agrupamos los estados aceptadores y no
aceptadores, en los conjuntos X e Y
respectivamente:
𝑋 = {𝑞4 }
𝑌 = {𝑞0 , 𝑞1 , 𝑞5 }
- Paso 3:
Evaluamos los estados aceptadores en función del
lenguaje y ponemos X o Y, dependiendo del
conjunto a donde irían:

A b
𝒒𝟒 ……. Y

- Paso 4:
Ahora lo hacemos con los estados no aceptadores:

A b
𝒒𝟎 Y Y
𝒒𝟏 X ........
𝒒𝟓 X Y

- Paso 5:
Revisamos que estados quedaron equivalentes y
no equivalentes en los valores tanto en a como en
b y vemos que ningún estado quedó equivalente.

- Paso 6:

Llamándolos como nuevos conjuntos N = { 4 }, O

= { 0 }, P = { 1 } y Q={ 5 }. Por cada conjunto N,
O, P y Q repetimos el proceso y según el alfabeto
de entrada vemos a que conjunto pertenece el
estado de llegada.

N A b
𝒒𝟒 …. P

O A b
𝒒𝟎 P Q

P A b
𝒒𝟏 N .....

Q A b
𝒒𝟓 N Q

- Paso 7:

Vemos que no hay transiciones equivalentes.

Ahora realizamos la tabla de transiciones con estos
nuevos estados. Los nuevos estados que posean
los estados finales del autómata inicial, que en este
caso son 𝑞3 , 𝑞4 , pero como 𝑞3 es inaccesible, sólo
quedaría 𝑞4 , quedando así un solo estado final o de
aceptación, en este caso N. El nuevo estado inicial
será O que contiene el estado inicial 𝑞0 del
autómata original.

a b
O P Q
P N -
Q N Q
 N - P

- Paso 8:
Ahora graficamos nuestro nuevo autómata
determinista, utilizamos la herramienta JFLAP.

- Paso 9:

Escribimos la tabla de transición nuevamente, pero

con la nomenclatura convencional, al igual que la
gráfica, para facilitar la realización de los demás
ejercicios.

a b
𝑞0 𝑞1 𝑞2
𝑞1 𝑞3 -
𝑞2 𝑞3 𝑞2
𝑞3 - 𝑞1
Resultado del
Autómata
minimizado

Notación Para el autómata M tenemos la 5-tupla (K, Σ, δ, s,

formal F), donde:

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

K = {q0, q1, q2, q3}, identifica el conjunto de
estados del autómata.
Σ = {a,b}, es el alfabeto de entrada
S = {q0}, es el estado inicial
F = {q3} es el conjunto de estados finales o de
aceptación.
δ : K x ∑ → K es la función de transición, que a
partir de un estado y un símbolo del alfabeto
obtiene un nuevo estado. Donde:

δ: {q0, q1, q2, q3} x {a,b} → { q0, q1, q2, q3}

Viene dada por:

δ (q0, a)= q1 δ (q2, a)= q3

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

Este autómata es determinista AFD, ya que a lo

sumo desde cualquier configuración sólo existe un
movimiento, como se muestra en la función de
transición y tampoco hay transiciones vacías.

Lenguaje Primero hallamos la expresión regular, para ello

Regular debemos analizar los caminos que con llevan del
estado inicial es decir q0 al estado final q3.

q0 a q3 (por q1) aa

q0 a q3 (por q1 y q3) aa(ba)*

q0 a q3 (por q2) bb*a

q0 a q3 (por q2 y q3) bb*a(ba)*

Los caminos más generales para llegar a q3 son los

últimos de cada tabla, ya que incluyen la clausura
que genera el bucle entre q3 y q1, ya que los
mismos incluyen los otros caminos. Por tanto, al
hacer la unión de las expresiones regulares
particulares a través del signo + que corresponde a
la unión nos quedaría de la siguiente manera:

ER = aa(ba)*+bb*a(ba)*

Dada de esta manera la expresión regular. El

lenguaje se puede escribir en términos de dicha
expresión:

L={(aa+bb*a)(ba)*}

El símbolo inicial es S y marcamos los estados con

Gramática del los símbolos de la gramática, como en la gráfica:
autómata
 De acuerdo a esto nos resulta:

S → bC
S → aA
A → aB
C → bC
C → aB
B → 𝜆
B → bA

Bibliografía

- 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=1056
6114&ppg=10
- Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-
232). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&do
cID=10751543&tm=1481476339478
- Ojeda L. (2017). Autómatas deterministas y no deterministas. Recuperado de:
https://core.ac.uk/download/pdf/154797605.pdf
- 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
- John E. Hopcroz, Rajeev Motwani, Jeffrey D.Ullman. Introducción a la
teoría de autómatas, lenguajes y computación (3ª edición). Ed, Pearson
Addison Wesley.
- Enrique Alfonseca Cubero, Manuel Alfonseca Cubero, Roberto Moriyón
Salomón. Teoría de autómatas y lenguajes formales. McGraw-Hill (2007).