1. Instituto Tecnol´ogico de Costa Rica
Ingenier´ıa en Computadores
Ver´onica Mora Lezcano
Lenguajes, compiladores e int´erpretes
Cerradura - ε (T)
Se obtienen los estados a los que se puede llegar con transici´on ε.
Donde T puede ser un estado o un conjunto de estado.
Ejemplo 1
Cerradura - ε ( 0 ) = { 1 }
Cerradura - ε ( 1 ) = ∅
1
4. Mueve ( T, a )
Se obtienen los estados desde los que existe una transici´on con a.
Donde T puede ser un estado o un conjunto
Ejemplo 4
Mueve ( { 1 }, a ) = ∅
Mueve ( { 1 }, b ) = ∅
Mueve ( { 1 }, c ) = ∅
Mueve ( { 2 }, a ) = ∅
Mueve ( { 2 }, b ) = ∅
Mueve ( { 2 }, c ) = ∅
Mueve ( { 3 }, a ) = ∅
Mueve ( { 3 }, b ) = ∅
Mueve ( { 3 }, c ) = { 5 }
Mueve ( { 4 }, a ) = ∅
Mueve ( { 4 }, b ) = ∅
Mueve ( { 4 }, c ) = { 6 }
Mueve ( { 5 }, a ) = ∅
Mueve ( { 5 }, b ) = ∅
Mueve ( { 5 }, c ) = ∅
Mueve ( { 5 }, d ) = { 6 }
4
6. Ejemplo 6
Primer paso: Cerradura - ε ( Estado - inicial )
Cerradura - ε ( { 0 } ) = { 0, 1, 2, 4, 7 }
Donde { 0, 1, 2, 4, 7 } = A
Segundo paso: Se marca { 0, 1, 2, 4, 7 } como el conjunto A
Tercer paso: Se realiza mueve ( A, a ) = { 3, 8 }
Mueve ( A, b ) = { 5 }
Cuarto paso: Se calcula cerradura - ε ( { 3, 8 } ) = { 1, 2, 3, 4,
5, 6, 7, 8 }
Donde { 1, 2, 3, 4, 5, 6, 7, 8 } = B
Cerradura ( { 5 } ) = { 1, 2, 4, 5, 6, 7 }
Donde { 1, 2, 4, 5, 6, 7 } = C
Mueve ( B, a ) = { 3, 8 }
Cerradura - ε ( { 3, 8 } ) = B
Mueve ( B, b ) = { 5, 9 }
Cerradura - ε ( { 5, 9 } ) = { 1, 2, 4, 5, 6, 7, 9 }
6
7. Donde { 1, 2, 4, 5, 6, 7, 9 } = D
Mueve ( C, a ) = { 3, 8 }
Cerradura - E ( { 3, 8 } ) = B
Mueve ( C, b ) = { 5 }
Cerradura - E ( { 5 } ) = C
Mueve ( D, a ) = { 3, 8 }
Cerradura - E ( { 3, 8 } ) = B
Mueve ( D, b ) = { 5 }
Cerradura - E ( { 5 } ) = C
Quinto paso: Se crean las transiciones de los conjuntos
obtenidos:
Transici´on ( A, a ) = B
Transici´on ( A, b ) = C
Transici´on ( B, a ) = B
Transici´on ( B, b ) = D
Transici´on ( C, a ) = B
Transici´on ( C, b ) = C
Transici´on ( D, a ) = B
Transici´on ( D, b ) = C
Sexto paso: Se crea una tabla de transiciones
7