Está en la página 1de 7

Ejercicio Grupal: Minimización de autómatas

Ejercicio a trabajar

Procedimiento de Quíntupla del autómata


minimización
M =( K , Σ ,δ , F )
K={q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 }
Σ= {1,0 }
δ=q 0
F=q 5

δ=( q0 , , 1 )=q3
δ=( q0 , , 0 ) =q 2
δ=( q1 , , 1 )=q2
δ=( q1 ,0 )=q3
δ=(q2 , ,1)=q 4
δ=(q2 , ,0)=q0
δ=(q3 , ,1)=q 5
δ=(q3 , ,0)=q1
δ=(q 4 , , 1)=q5
δ=(q 4 , , 0)=q 6
δ=(q5 , ,1)=q 3
δ=(q5 , ,0)=q2
δ=(q6 , 1)=q 0
δ=(q6 , ,1)=q4

Eliminación de Conjuntos

Estados Aceptadores

x={q5 }

Estados No Aceptadores
y={q 0 , q 1 , q 2 , q 3 , q 4 , q6 }
Validación de los estados del conjunto x

  0 1
q5 y y

Validación de los estados del conjunto y

  0 1
q0 y y qo,q1,q2 y
q6 son
q1 y y Equivalentes
q2 y y
Son q3 y x
Equivalentes q4
q3,q4 y x
q6 y y  

Se crean los nuevos conjuntos

x={q5 }
M ={q0 , q1 , q2 , q6 }
Z={q 3 ,q 4 }
M 0 1
q0, q1 y q2 q0 M Z
No son q1 M Z
equivalente
s q2 M Z
q6 Es
equivalent
q6 Z M e

Z 0 1
q2 M X q2 y q4
Son
equivalent
q4 M X es

X 0 1
q5 No es
equivalent
q5 M Z e
Resultado del Autómata Tabla de transición
minimizado 0 1
M Z M
Z M X
X M Z

Notación formal del Se identifica la quíntupla


autómata minimizado
M = {m , z , x } , { 0,1 } , δ=m , { x }
K= { m, z , x }
Σ= {0,1 }
δ=m
F=x

La función δ : { m, z , x }∗{0,1 } → { m, z , x } viene dada por :


δ (m ,0)=z
δ (m ,1)=m
δ ( z , 0 )=m
δ ( z , 1 )=x
δ ( x , 0 )=m
δ ( x , 1 )=z

Tabla de transición

0 1
→M Z M
Z M X
#X M Z

Caracterización del M = {m , z , x } , { 0,1 } , δ=m , { x } Es el conjunto de estado y alfabeto


autómata parte teórica
K= { m, z , x } Es el conjunto finito de estados

Σ= {0,1 } Es el alfabeto finitos de entrada


δ=m El estado inicial
F=x El estado final

δ : { m, z , x }∗{0,1 } Función de transición

Tupla: Se conoce como la notación formal del autómata, que integra


los estados, el alfabeto, la función de transición, el estado inicial y el
conjunto de estados aceptadores.

Estados (K): Son un conjunto de estados en el cual fluye el autómata,


dependiendo la cadena que este leyendo o procesando.

Alfabeto ( Σ ): se conocen como los caracteres o símbolos que acepta


el autómata y permiten la transición entre los estados.

Función de transición (δ ): con la función de transición describimos


las transiciones que realiza el autómata.

Estado inicial (→): recibe el símbolo de entrada, siendo el primer


estado en el cual inicia su proceso el autómata.

Estado final (#): se define estado final cuando una cadena es aceptada
en su último símbolo el cual permite la transición a su estado final.

Lenguaje Regular En este espacio agrega el lenguaje regular del autómata.


Gramática del autómata En este espacio agrega la gramática del 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.
Validación de cadenas
Cadenas Aceptadas Cadenas Rechazadas
10111 101001
01001 010001
100111 100011
001001 010110
1011001 101101
Practicar y verificar lo Se muestra a continuación como la cadena válida 1011001 recorre el
aprendido autómata.
Paso 1. El autómata se encuentra en el estado inicial q0.

Paso 2. Transición 1, el autómata pasa al estado q3.


Paso 3. Transición 0, el autómata pasa del estado q3 al estado q1.

Paso 4. Transición 1, el autómata pasa del estado q1 al estado q2.

Paso 5. Transición 1, el autómata pasa del estado q2 al estado q4.


Paso 6. Transición 0, el autómata pasa del estado q4 al estado q6.

Paso 7. Transición 0, el autómata pasa del estado q6 al estado q4.

Paso 8. Transición 1, el autómata pasa del estado q4 al estado final


q5, finalizando así, de manera exitosa, el recorrido de la cadena a
través del autómata.

También podría gustarte