Universidad Nacional Abierta y a Distancia Facultad de ciencias básicas tecnología e ingeniería

Autómatas y lenguajes formales

Presentado a:

Presentado:

Ingeniería de Sistemas
Cead José Acevedo y Gómez
Bogotá
 ACTIVIDAD COLABORATIVA
Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a

Paso, no se tendrá en cuenta las respuestas o simulaciones en JFlap o
VAS.
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.

EJERCICIO A
TRABAJAR

Procedimiento de Paso 1
minimización
Estados: 9

Tipo de autómata: Autómata finito no determinista.

Características:
  Modelo conformado por alfabeto
 1 estado inicial
 Varios estados finales
 Tiene función de transición
 Tiene conjunto de estados finitos

Estados finales: 3

Realización de Transacciones:

M = {q0, q1, q2, q3, q4, q5, q6, q7, q8}, {0,1},
δ, q0, {q2, q4, q8}

K = {q0, q1, q2, q3, q4, q5, q6, q7, q8} 𝛴{0,1}
S = q0 (estado inicial)
F = q2, q4, q8 (estado final)

M= {q0, q1, q2, q3, q4, q5, q6, q7, q8}, {0,1},
δ q0, {q2, q4, q8}
 {q0, q1, q2, q3, q4, q5, q6, q7, q8}

Dada por:

δ(q0,0) =q3 δ(q4,1) =q8

δ(q0,1) =q1 δ(q5,0) =q2
δ(q1,0) =q2 δ(q5,1) =q8
δ(q1,1) =q1 δ(q6,0) =q7
δ(q2,) =q4 δ(q6,1) =q3
δ(q2,1) =q5 δ(q7,0) =q8
 δ(q3,0) =q0 δ(q7,1) =q3
δ(q3,1) =q1 δ(q8,0) =q7
δ(q4,0) =q4 δ(q8,1) =q4

Resultado del x={q2,q4,q8}

Autómata
minimizado

Paso 1: selección de conjuntos

X 0 1
Estados
q2 x y Aceptadores
Estados
q4 x x Aceptadores
Estados
q8 y x Aceptadores

Y 0 1
q0 y y Equivalente m
q1 x y Equivalente n
q3 y y Equivalente m
q5 x x Conjunto O
q6 y y Equivalente m
q7 x y Equivalente n

Paso 2 continuar con los conjuntos equivalentes, re validando las

transiciones hasta encontrar equivalencia.

M 0 1
q0 m n Equivalente Z
q3 m n Equivalente Z
q6 n n Conjunto W
N 0 1
q1 x n Conjunto N1
q7 x m Conjunto N2

O 0 1
q5 x x

X 0 1
q2 x o Conjunto X1
q4 x x Conjunto X2
q8 n x Conjunto X3

Z 0 1
q0 z n
q3 z n

W 0 1
q6 n z

N1 0 1
q1 x n

N2 0 1
q7 x m

X1 0 1
q2 x o

X2 0 1
q4 x x

X3 0 1
q8 n x

O 0 1
q5 x x

FINAL
Paso final, conjuntos con equivalencia:

Z 0 1
q0 Z N1
q3 Z N1

W 0 1
q6 N2 Z

N1 0 1
q1 X1 N1

N2 0 1
q7 X3 Z

X1 0 1
q2 X2 O

X2 0 1
q4 X2 X3

X3 0 1
q8 N2 X2

O 0 1
q5 X1 X3

Tabla de transiciones:

TABLA DE
TRANSICIÓN

0 1
Z Z N1
W N2 Z
N1 X1 N1
N2 X3 Z
 X1 X2 O
X2 X2 X3
X3 N2 X2
O X1 X3

Diagrama del autómata minimizado:

Notación formal
Q= {q0, q1, q2, q3, q4, q5, q6, q7, q8}
Estado inicial = Q0
∑ = {0,1}
L = {𝜔 ∈ {0,1}

Lenguaje Regular L = {𝜔 ∈ {0,1} * 𝜔

Gramática del
autómata
 Referencias

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

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/183

BIBLIOGRAFIA
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. (pp. 127 - 142). Recuperado
de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site=
edslive&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=10566114&ppg=10