Академический Документы
Профессиональный Документы
Культура Документы
TUTOR:
JAIME JOSE VALDES
GRUPO:
301405_11
PARTE 1
Hallar el autmata mnimo correspondiente al autmata finito que representa la
siguiente expresin regular expresin regular.
son
q0
0
q1
1
q2
q1
q3
q5
q4
q3
q1
q2
q4
q1
q2
q5
q5
q4
* q2
=Funcion de transicion
( q0 , 0 )=q1
( q0 ,1 ) =q 2
( q1 ,0 )=q 3
( q2 ,0 )=q 5
( q2 ,1 ) =q 4
( q3 , 0 )=q1
( q3 ,1 ) =q 2
( q4 , 0 ) =q1
( q4 , 1 )=q2
Q ,
, F
A= ,
4. Identifique la ER y en una tabla de validacin (puede ser de Excel),
verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de
operadores. (Antes de minimizar)
CADENAS VALIDAS
1
001
00001
CADENAS NO VALIDAS
101
1010
10101
q0
0
q1
1
q2
q1
q3
q5
q4
q3
q1
q2
q4
q1
q2
q5
q5
q4
* q2
Distinguibles
( q0 ,1 ) =q 2
( q3 ,1 ) =q 2
( q4 , 1 )=q2
No distinguibles
( q0 , 0 )=q1
( q1 ,0 )=q 3
( q2 ,0 )=q 5
( q2 ,1 ) =q 4
( q3 , 0 )=q1
( q4 , 0 ) =q1
6. Identifique los estados equivalentes (para ello muestre cmo evala esas
equivalencias, colocando a los estados candidatos de equivalencia como
estados iniciales). Evidencie el proceso de cmo los evala.
c 1= { q 2 }
c 2={ q 0 , q1, q3 , q 4 , q5 }
=( q 2 , 0 )=q 5
=( q 2 , 1 ) =q 4
=( q 0 ,0 )=q 1
=( q 1 , 0 ) =q 3
=( q 3 ,0 )=q 1
=( q 4 , 0 ) =q1
=( q 5 ,0 )=q 5
=( q 0 ,1 ) =q2
=( q 1 , 1 ) =
=( q 3 ,1 ) =q2
=( q 4 , 1 )=q 2
=( q 5 ,1 ) =q 4
Estados de aceptacin
=( q 3 ,1 ) =q2
=( q 4 , 1 )=q 2
=( q 0 ,1 ) =q2
7. En el proceso de eliminacin de estados, identifique que transiciones se
eliminan y cules se re direccionan. Muestre la tabla de estados
q0
0
q1
1
q2
q1
q3
q5
q4
q3
q1
q2
q4
q1
q2
q5
q5
q4
* q2
Se eliminan ( q5 , q 4
Re direccionados ( q 0 , q 1 , q 2 , q 3 )
Tabla De Estados
q2
0
q0
1
q3
q1
q1
q2
q1
q2
q2
* q3
q0
CADENAS VALIDAS
1
001
00001
Q=[ q 0 , q1 , q2 ,q 3 ]
CADENAS NO VALIDAS
101
1010
10101
q 2=Estado unicial
=[ 0,1 ]
F=[ q3 ]
=Funcion de transicion
Q ,
, F
A= ,
=( q 0 ,0 )=q 2
=( q 1 , 0 ) =q 1
=( q 2 , 0 )=q 0
=( q 3 ,0 )=q 1
=( q 0 ,1 ) =
=( q 1 , 1 ) =q2
=( q 2 , 1 ) =q3
=( q 3 ,1 ) =q2