La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

1 Diseño de Autómatas Finitos. 2 Diseño de AFDs Definir un AFD que acepte palabras que cumplan ciertas especificaciones. –Correcto: que las palabras aceptadas.

Presentaciones similares


Presentación del tema: "1 Diseño de Autómatas Finitos. 2 Diseño de AFDs Definir un AFD que acepte palabras que cumplan ciertas especificaciones. –Correcto: que las palabras aceptadas."— Transcripción de la presentación:

1 1 Diseño de Autómatas Finitos

2 2 Diseño de AFDs Definir un AFD que acepte palabras que cumplan ciertas especificaciones. –Correcto: que las palabras aceptadas por el AFD cumplan las especificaciones, es decir, que no sobren palabras. –Completo: que toda palabra que cumpla las especificaciones sea aceptada por el AFD, es decir, que no falten palabras. Ejemplo: AFD que acepte palabras sobre {a, b} que no tengan varias as seguidas. El AFD de la figura no es correcto porque acepta baa, pero no acepta ba. > q0q0 q1q1 q2q2 aa b b a b

3 3 ¿Cómo diseñar un autómata finito Por ensayo y error no es adecuado. Póngase en los zapatos del autómata que quiere diseñar. –Para cada símbolo leído, saber si la cadena es aceptada o no, por si la cadena termina ahí. –Decida que información es crucial recordar, es decir, cuales serían los estados del autómata. –Asignar transiciones, estado inicial y estado(s) final(es).

4 4 Ejemplo Diseñar un AFD que acepte todas las palabras sobre {0, 1} que tengan un número impar de 1s. –No se requiere saber cuantos 1s se han leído sino sólo si llevamos un número par o impar de 1s. Esta respuesta permanece igual si enseguida leemos un 0 y cambia si leemos un 1. –Representar esto como una lista de posibilidades y asignar un estado a cada posibilidad: a) par hasta ahorita. B) impar hasta ahorita. –Asignar las transiciones. –Definir el estado inicial, el que corresponde a la palabra nula. –Definir el estado final, el que corresponde a palabras de longitud impar. q par q impar

5 5 Otro ejemplo Diseñar un AFD que reconozca palabras que contienen la cadena 001 como 0010, 1001, , pero no como 11, 0000, 1100, Posibilidades: –No hemos leído ningún símbolo. Estado q. –Hemos leído un 0. Estado q 0. –Hemos leído 00. Estado q 00. –Hemos leído 001. Estado q 001. q q0q0 q 00 q ,1 1

6 6 Ejemplos Diseñar un AFD que acepte exactamente el lenguaje sobre {0, 1} en que las palabras no comienzan con 00. q2q2 q3q ,1 q0q0 q1q1

7 7 Ejemplo Palabras sobre {a, b, c} en las cuales toda b es inmediatamente seguida de al menos una c. a,c a,b,c a,b b c q0q0 q1q1 q2q2 a,c a,b,c a,b b b q0q0 q1q1 q2q2 c q3q3 a,c

8 8 Otro ejemplo Construir un autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras que terminan con 10, es decir, reconoce el lenguaje (0 + 1)* i

9 9 Simplificación del Otro ejemplo A BC

10 10 Un ejemplo más Construir un autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras que terminan con 1, es decir, (0 + 1)*1. A B

11 11 Y un ejemplo más Construir un autómata finito determinsta que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo penúltimo símbolo es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1). A C 0 D B

12 12 Y aún otro más Construir un autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo antepenúltimo símbolo es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1)(0 + 1). A E 0 B F G H C D

13 13 Y varios más ¿Cuántos estados tendría el autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo ante-antepenúltimo símbolo es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1) 3 ? –Resp: 2 4 = 16. ¿Cuántos estados tendría el autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo décimo símbolo, contado de derecha a izquierda es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1) 9 ? –Resp: 2 10 = ¿Cuántos estados tendría el autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo vigésimo símbolo, contado de derecha a izquierda es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1) 19 ? –Resp: 2 20 = 1M. ¿Cuántos estados tendría el autómata finito determinista que reconozca el lenguaje sobre {0, 1} que consiste de las palabras cuyo vigésimo quinto símbolo, contado de derecha a izquierda es 1, es decir, su expresión regular es (0 + 1)*1(0 + 1) 24 ? –Resp: 2 25 = 32M.

14 14 Tarea 3, Parte A (en equipo) Construir un AFD que reconozca números binarios múltiplos de 5. –Por ejemplo, debe reconocer: 0, 101, 1010, 1111, Fecha de asignación: 19/Febrero/2004 Fecha de entrega: 01/Marzo/2004

15 15 Equivalencia de autómatas finitos Decimos que dos autómatas, M 1 y M 2, son equivalentes cuando aceptan el mismo lenguaje, es decir, L(M 1 ) = L(M 2 ). En este caso escribimos M 1 M 2. ¿Cómo saber que dos autómatas son equivalentes? ¿Cómo saber que dos autómatas no son equivalentes?

16 16 ¿Cuándo dos autómatas no son equivalentes? Cuando uno de los dos autómatas acepta una palabra que no es aceptada por el otro autómata, podemos concluir que los dos autómatas no son equivalentes

17 17 Ejemplo b b a a,ba,b a q0q0 q1q1 q2q2 M1M1 b b a a,ba,b a q0q0 q1q1 q2q2 M2M2 ¿Son M 1 y M 2 equivalentes? ¿Por qué? ¡No! Porque M 1 acepta y M 2 no.

18 18 Ejemplo q0q0 q1q1 M1M1 ¿Son M 1 y M 2 equivalentes? ¿Por qué? ¡No! Porque M 1 acepta 0 y M 2 no. 0 0 q0q0 q1q1 q2q2 M2M Porque M 2 acepta 01 y M 1 no.

19 19 Ejemplo q0q0 q1q1 M1M1 ¿Son M 1 y M 2 equivalentes? ¿Por qué? ¡Sí! Porque todas las palabras que son aceptadas por M 1 también lo son por M 2 y viceversa. 0 0 q0q0 q1q1 q2q2 M2M

20 20 ¿TODAS las palabras? Para poder decir que dos autómatas son equivalentes, debemos verificar que TODAS las palabras aceptas por uno de los autómatas son aceptadas por el otro y viceversa. ¿Cómo podemos verificar TODAS las palabras? ¿Cómo podemos encontrar una palabra que es aceptada por uno de los autómatas pero no por el otro?

21 21 ¿Cómo saber que dos autómatas son equivalentes Teorema de Moore. Existe un algoritmo basado en la comparación de estados para saber si dos autómatas son equivalentes. Definición. Dos estados son compatibles si ambos son finales o ninguno de los dos lo es. Si uno es final y el otro no lo es, entonces se dice que son incompatibles.

22 22 Algoritmo de Moore Comparación de los autómatas M=(K,,, s 0, F) y M = (K,,, s 0, F). Se construye la tabla de comparación con 1+| | columnas. La primera columna ponemos (q, q) como encabezado. El encabezado de las columnas restantes son los símbolos del alfabeto. –1) Inicialmente escribimos (s 0, s 0 ) en el primer renglón de la primera columna. –2) Completamos el renglón poniendo en cada columna a la pareja de estados donde el primer elemento de la pareja es el estado a donde se transfiere el autómata M del estado en la primera columna después de leer el símbolo que encabeza la columna correspondiente. El segundo elemento de la pareja es la transición correspondiente a M. –3) Cada pareja de estados generado en el punto 2) que no esté en la primera columna se escribe en esa primera columna. –4) Se completa el renglón para la siguiente pareja de estados en la primera columna. –5) Si en la primera columna aparece una pareja de estados incompatible, entonces se termina el proceso y se concluye que los autómatas no son equivalentes. –6) Si en la primera columna no aparecieron parejas de estados incompatibles y si ya no aparecen nuevas parejas que no estén en la primera columna, entonces se concluye el proceso y decimos que los autómatas son equivalentes.

23 23 Arbol de comparación (1,3) (2,4) (1,5) (2,5)(1,4) a b a b a b 3 a bb 4 5 a a b 1 a a bb 2

24 24 Determinar si los siguientes AFDs son/no son equivalentes: , , ,1 0 A:A: B:B: C:C:

25 25 Respuesta al ejercicio de la lámina anterior A y B sí son equivalentes. B y C no son equivalentes. A y C no son equivalentes.

26 26 Simplificación de autómatas Decimos que un autómata es una simplificación de otro si tiene menos estados pero ambos aceptan el mismo lenguaje. Decimos que en un AFD dos estados son equivalentes si al tomar uno o el otro como estado inicial, los lenguajes aceptados por los AFDs resultantes son iguales. En otras palabras, dado un AFD M = (K,,, s 0, F) y dos estados q 0 y q 1 K, decimos que q 0 y q 1 son equivalentes o redundantes (q 0 q 1 ) si (K,,, q 0, F) (K,,, q 1, F). Una vez que sabemos que dos estados son equivalentes, entonces podemos eliminar uno de ellos. Pero, ¿y las flechas que entran y salen del estado eliminado? –Las flechas que salen del estado eliminado son eliminadas. –Las flechas que entraban al estado eliminado se redirigen al estado equivalente.

27 27 Estados equivalentes 3 a b b 4 5 a a b 3 a b b 4 5 a a b (4,3) (3,4) a b (5,5) b a, b a

28 28 Borrar transiciones 3 a b b 4 5 a a b 3 a b 4 5 a b

29 29 Redirigir transiciones 3 a b 4 5 a b 3 a b 5 a b

30 30 Obtención de AFD mínimo eliminando estados equivalentes Teorema. Al eliminar estados redundantes de un AFD se obtiene el único AFD mínimo que acepta el mismo lenguaje que el original. Algoritmo: Para cada par de estados (p, q) del autómata –Ver si son equivalentes. –En caso de que sí, entonces eliminar uno de ellos y volver a empezar con otros dos estados. Hasta que no haya estados que eliminar.

31 31 Ejercicio.- simplificar: ,

32 32 Obtención de AFD mínimo utilizando clases de equivalencia Dado un AFD M = (K,,, s 0, F), el procedimiento para simplificarlo es: Definimos dos clases de equivalencia, F y K F. Para cada clase Sea q un estado en la clase. Poner en una misma clase a todos los estados q que tienen transiciones iguales a las de q, es decir, q y q pertenecen a la misma clase si para cada símbolo, (q, ) cae en la misma clase que (q, ). Ponemos en otra clase a los que tienen transiciones distintas a las de q. Si todos los estados de la clase tienen transiciones iguales, entonces la clase no se divide y analizamos otra clase. Continuar analizando clases hasta que ninguna se divida.

33 33 Operaciones entre autómatas Sean –M 1 = (K 1,, 1, s 1, F 1 ) y M 2 = (K 2,, 2, s 2, F 2 ) dos AFDs que aceptan los lenguajes L 1 y L 2, respectivamente. Cómo obtener autómatas que reconozcan –L 1 L 2 –L 1 * –L 1 C

34 34 Respuesta Definamos el autómata M = (K,,, s 0, F) donde –K = K 1 × K 2 –s 0 = (s 1, s 2 ) – ((p, q), a) = ( 1 (p, a), 2 (q, a)) para p K 1, q K 2 y a –Si F = {(p, q) | p F 1 o q F 2 }, entonces M acepta al lenguaje L 1 L 2. –Si F = {(p, q) | p F 1 y q F 2 }, entonces M acepta al lenguaje L 1 L 2. ¿Y L 1 L 2, L 1 *, L 1 C ?

35 35 Ejemplo Consideremos los lenguajes sobre el alfabeto ={0, 1}: –L 1 = {x | 00 no es una subcadena de x} –L 2 = {x | x termina con 01} A BC ,1 L1L1 P QR L2L2

36 36 K 1 × K 2 AP AQ AR BP BQ BR CP CQ CR

37 37 L 1 L 2 AP AR BQ CP CQ CR

38 38 L 1 L 2 AP AR BQ CP CQ CR

39 39 L 1 L 2 AP AR BQ CP CQ CR

40 40 Ejercicio Ya que L 1 C = * L 1, el AFD que acepta L 1 C se obtiene: –Cambiando los estados finales a no-finales y los no-finales a finales. A BC ,1 L1L1 A BC L1CL1C

41 41 Obtenga un AF que acepte (11+110) * 0 q0q0 r s p t u , q0q0 q4q4 q1q1 q2q2 q3q

42 42 Autómatas Finitos No Deterministas (AFN) En los Autómatas Finitos Deterministas, para cada estado y símbolo existe uno y sólo un estado al cual se hace la transición. ¿Y si se quita esta restricción? Es decir, si estando en un estado, hay símbolos para los que puede no existir transición o símbolos para los que puede haber más de una. Este tipo de autómatas son llamados Autómatas Finitos No Deterministas (AFN). ¿Cómo analizar los AFNs?

43 43 Tarea 3, Parte B (en equipo) Ejercicios 3.10(a, b), 3.12, 3.19(b, e, h), 3.20(b, d, f), 5.16(a, e, g) del texto. –Fecha de asignación: 19/Febrero/2004 –Fecha de entrega: 01/Marzo/2004


Descargar ppt "1 Diseño de Autómatas Finitos. 2 Diseño de AFDs Definir un AFD que acepte palabras que cumplan ciertas especificaciones. –Correcto: que las palabras aceptadas."

Presentaciones similares


Anuncios Google