Lenguajes Compiladores e Interpretes

Jose Barboza Jiemenez 201117197 March 23, 2014

Cerradura - (T) Se obtienen todos los estados a los que se puede llegar con transiciones . Donde T puede ser un estado o un conjunto de estados. Es posible llegar a un estado desde el mismo.

Figure 1: Automata 1 Cerradura Cerradura Cerradura Cerradura Cerradura (0) (1) (2) (3) (4) = = = = = {1}

Figure 2: Automata 2 Algunas cerraduras para el Automata 2 Cerradura (1)= {3} Cerradura (2)= {4} Cerradura (3)= Cerradura (4)= Cerradura (5)= Cerradura (6)= {1,3} Cerradura (7)= {3} Cerradura ({1,3})= {3} Mover (T, a) Se tienen los estados desde los que existen una transici on con a. Donde T puede ser estado o conjunto.

Figure 3: Automata 3

Del Automata 3 es posible realizar los siguientes movimientos Mover ({1}, a) = Mover ({1}, b) = Mover ({1}, c) = Mover ({2}, a) = Mover ({2}, b) = Mover ({2}, c) = Mover ({3}, a) = Mover ({3}, b) = {5} Mover ({3}, c) = An alisis de cerradura y mover de un aut omata

Figure 4: Automata 4 1. Cerradoras (estado inicial). Cerradura ({0}) = {0, 1, 2, 4, 7} 2. Marcar el conjunto obtenido {0, 1, 2, 4, 7}=A 3. Realizar el movimiento con el conjunto y los elementos del alfabeto Mover (A, a) = {3, 8} Mover (A, b) = {5} 4. Calcular la cerradura para los conjuntos encontrados y al resultado marcarlo. Cerradura ({3, 8}) = {6, 7, 1, 2, 4, 3, 8} = B Cerradura ({5}) = {6, 1, 2, 4, 7, 5} = C

De estos 4 pasos se denen las siguientes transiciones: (A, a) = B (A, b) = C Este proceso se repite para los posibles conjuntos encontrados hasta que no se creen conjuntos nuevos. Mover Mover Mover Mover (B, (B, (C, (C, a) = {3, 8} b) = {5, 9} a) = {3, 8} b) = {5}

Cerradura ({3, 8}) = B Cerradura ({5, 9}) = {6, 1, 2, 4, 7, 5, 9} = D Cerradura ({5}) = C Transiciones: (B, a) = B (B, b) = D (C, a) = B (C, b) = C Mover (D, a) = {3, 8} Mover (D, b) = {5} Cerradura ({3, 8}) = B Cerradura ({5}) = C Transiciones: (D, a) = B (D, b) = C

Es posible representar este proceso mediante una matriz y un aut omata resumido creado a partir de esta matriz.

Figure 5: Tabla 1

Figure 6: Automata Reducido