MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL CONTEXTO.

UNIDAD 2 - FASE 3

AUTOMATAS Y LENGUAJES FORMALES - 301405_30

PRESENTADO A:
ALKIGNER CUESTA

PRESENTADO POR:
KATHERIN VANESSA FERNANDE CUELLAR
BRAYAN CAMILO REYES
NATALIA ISABEL GARCÍA BURBANO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
PROGRAMA INGENIERIA DE SISTEMAS
OCTUBRE 31 DE 2019
 MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL CONTEXTO.

EJERCICIO A Ejercicio a trabajar.

TRABAJAR

Procedimiento Realice de manera detallada el procedimiento paso a

de paso de la minimización del autómata.
minimización

- Paso 2… Identificar cada uno de los elementos de la

minimización del autómata

5-Tupla (K, Σ, 𝜹, s, f)

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

𝜹= q0, {q3,q4}

K= {q0,q1,q2,q3,q4,q5} (Estados)

Σ= {a,b} (Alfabeto)

s= q0

f = {q3,q4}
Paso 2… Se realiza la tabla de transición.

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

- Paso 3… Realizamos el procedimiento con respecto al

autómata mediante una tabla conjunto X o aceptadores

Aceptadores X= (q3, q4)

No aceptadores Y= (q0, q1, q2, q5)

Primero se toman los aceptadores

x a b
q3 y x
q4 - y

Paso 4… Realizamos el procedimiento con respecto al

autómata mediante una tabla conjunto Y o No
aceptadores

No aceptadores Y= (q0, q1, q2, q5)

y a b
q0 y y A
q1 x -
q2 y x B
q5 x y C
 Paso 5… Tabla de transición de estados finales.

Con los nuevos grupos se genera la nueva tabla, debido

a que A esta incompleto el autómata se realiza con X,B,C

Estados a b
X B X
A - C
B A X
C X C

Agregue aquí la imagen del autómata minimizado

Notación
formal
Formalmente, un autómata finito es una 5-tupla

(K, Σ, 𝜹, s, f)

K = { X, 𝐵, A, 𝐶 } conjunto finito de estados

Σ = {a,b} alfabeto

𝜹 = B estado inicial

𝐹= 𝐶 estado final o de aceptación

 𝛿: K 𝑥 Σ → K: es una función de transición

𝛿 (X, a) = B

𝛿 (X, b) = X

𝛿 (𝐴, b) = C

𝛿 (𝐵, a) = A

𝛿 (𝐵, b) = X

𝛿 (C, a) = X

𝛿 (C, b) = C

Lenguaje
Regular

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.
1. En la minimización del autómata en la primera validación, como estados
equivalentes quedan:

A. q0, q4, q6

B. q4, q0, q6

C. q6, q4, q0

D. q4, q6, q0

Para nuestro caso no hay estados equivalentes

y a b
q0 y y
q1 x -
q2 y x
q5 x y

2. Los nombres de los conjuntos que se manejan después de la primera

validación de estados son:

A. X, M, Z, N

B. A, B, C, D

C. X, R, Z, D

D. A, M ,N, Z

Para nuestro caso X, 𝐵, A, 𝐶

Estados
X
A
B
C
3. En la tabla de transición final como resultado de la minimización del
autómata:

0 1
B ? ?

A. B,A

B. Z,N

C. Z,A

D. A,B

Para nuestro caso

a b
X B X

Nota: consideramos que las preguntas planteadas, no están formuladas para nuestro
ejercicio
 BIBLIOGRAFIA

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

Sara Martínez, JFLAP, Recuperado de https://es.slideshare.net/SaraMartnezGmez/tutorial-de-jflap-en-espaol-

56407131

De Autómata Finito a Expresión Regular, Recuperado de https://www.youtube.com/watch?v=-mZ2HgVW1oc

Convertir un Autómata No determinista a Determinista Recuperado de

https://www.youtube.com/watch?v=6YeeMQPuGeo

https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_determinista

Cesar Andrey Lopez, Visual Autómata Simulator

https://www.academia.edu/10917316/Visual_Automata_Simulator