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:
EJERCICIO A
TRABAJAR

Procedimiento Paso 1: Descripción formal del autómata

de
minimización Autómata finito determinista.
K={q0,q1,q2,q3,q4,q5,q6} estados del
autómata
={0,1,2} alfabeto del
autómata
SK=q1 estado inicial
Fk=q0,q1,q2,q3,q4,q5,q6 estado final o de
aceptación

M=({ q0,q1,q2,q3,q4,q5,q6},{0,1,2},δ,q1,
{ q0,q1,q2,q3,q4,q5,q6})

δ(q1,2)={q0}
δ(q1,1)={q2}
δ(q0,1)={q2}
δ(q0,0)={q5}
δ(q2,1)={q2}
δ(q2,0)={q5}
δ(q2,2)={q4}
δ(q3,1)={q2}
δ(q3,0)={q6}
δ(q4,0)={q5}
δ(q4,1)={q2}
δ(q4,2)={q6}
δ(q5,0)={q6}
δ(q5,1)={q2}
δ(q5,2)={q4}
δ(q6,0)={q6}
δ(q6,1)={q2}
δ(q6,2)={q6}
Paso 2: Determinación del estado aceptador y del
no aceptador
X={q1,q2,q3,q4,q5,q6} Estado aceptador
Y={Ø} Estado no aceptador
Paso 3:
Aceptador
0 1 2
q0 x x
q1 x x
q2 x x x
q3 x x
q4 x x x
q5 x x x
q6 x x x
Y= {Ø}

M= {q2, q4, q5, q6}

Z= {q0, q3}

N= {q1}

Paso 4:

M 0 1 2
q2 M M M
q4 M M M
q5 M M M
q6 M M M
 Z 0 1 2
q0 M M
q3 M M

N 0 1 2
q1 M Z

Paso 5: tabla de transiciones con los conjuntos

encontrados.
Tabla de transiciones

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

Resultado del
0
Autómata
1
minimizado
2
1
N M m

2 0
1
Z  

Notación M = {q0,q1,q2,q3,q4,q5,q6},{0,1},σ,{q1},{q1,q2,q4,q5,q6}
formal donde K = { q0,q1,q2,q3,q4,q5,q6} ∑= {0,1,2}, S= q1 F=
q1,q2,q4,q5,q6
M es un quíntuplo (K, Σ, δ, s, F), donde:
K = {q0, q1, q2, q3, q4, q5, q6}, identifica el conjunto de
 estados del autómata
Σ = {0,1,2}, es el alfabeto de entrada
δ = es la función de transición, que a partir de un estado y un
símbolo del alfabeto obtiene un nuevo estado.
“s” es el estado inicial, en nuestro caso q1
“F” es un conjunto de estados finales, en nuestro caso
q1,q2,q4,q5,q6
Lenguaje M = ({q0, q1, q2, q3,q4,q5,q6},{0,1,2}, 𝛿, q0,
Regular {q0,q1,q2,q4,q5,q6})
V es un algabeto, llamado de variables o simbolos no terminales. Se
 Gramática del representan con letras mayusculas.
autómata
T es un alfabeto, llamado de simbolos terminales. Se representan con
letras minisculas.

P es un conjunto de pares (,), llamados reglas de produccion,

donde ,  (V  T)* y  contiene, al menos un simbolo de V.
*Moral S, (2019) Lenguajes y Gramáticas, Universidad de Granada, recuperado de TEORÍA DE
AUTÓMATAS Y LENGUAJES FORMALES.

S es un elemento de V, llamado simbolo de partida.

V= {N,M,Z}
T= {0,1,2}

P= {,}

S= {N,M,Z}