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.
