Professional Documents
Culture Documents
Pgina 1 de 4
Q par
Q impar
Luego, asigne las transiciones viendo cmo pasar de una posibilidad a otra solamente leyendo un smbolo de la entrada. Si el estado qpar representa la posibilidad par y el estado qimpar la posibilidad
Pgina 2 de 4
impar, debera establecer las transiciones para cambiar de estado cuando vea en la entrada un 1 y debe quedarse all, en el estado qpar, cuando vea en la entrada un 0, como se muestra a continuacin: 0 1 Q par Q impar Q impar
Haciendo un anlisis similar se establecen las transiciones para el estado qimpar, como se muestra a continuacin: 0 1 Q par 1 0 Q impar Q impar
Luego, establezca el estado inicial para que sea el estado correspondiente con haber visto cero smbolos de la entrada hasta ese instante (la cadena vaca ). En este caso el estado inicial corresponde a qpar porque cero es un nmero par. Finalmente, establezca los estados de aceptacin que correspondan a aquellas posibilidades donde usted quiere aceptar la cadena de entrada. En nuestro caso es qimpar porque queremos aceptar cuando hayamos visto un nmero impar de unos. 0 1 Q par 1 0 Q impar Q impar
EJERCICIOS FUNDAMENTALES Estos ejercicios exigen el tener claro algn concepto o manera de hacer las cosas que posteriormente servir para enfrentarse a los ejercicios complementarios. No intente realizar los ejercicios ms complejos sin primero tener claro el mecanismo de solucin para cada ejercicio fundamental (exceptuando los indicados como difciles). Construya los AFD que acepten los siguientes lenguajes con el alfabeto {0,1}: F1. El conjunto de todas las cadenas terminadas en 00. F2. El conjunto de todas las cadenas con tres ceros consecutivos (no necesariamente al final). F3. El conjunto de las cadenas con 011 como subcadena. F4. El conjunto de las cadenas que comienzan con 0 y tienen longitud impar, o comienzan con 1 y tienen longitud par. F5. El conjunto de las cadenas en donde cada posicin impar de la cadena es un 1.
Pgina 3 de 4
F6. El conjunto de las cadenas que no contengan la subcadena 110. F7. (Difcil!) El conjunto de todas las cadenas en las que cada bloque de cinco smbolos consecutivos contiene al menos dos ceros. F8. (Difcil) El conjunto de las cadenas en las que el nmero de ceros sea divisible por cinco y el nmero de unos sea divisible por tres. F9. Convertir en un AFD cada uno de los AFN de los ejercicios F10, F11 y F12. Disear AFN para reconocer los siguientes conjuntos de cadenas: F10. abc, abd y aacd. Asumir que el alfabeto es {a,b,c,d} F11. 0101, 101 y 011. F12. ab, bc y ca. Asumir que el alfabeto es {a,b,c} Disear AFN- para reconocer los siguientes lenguajes. Intente utilizar transiciones para simplificar el diseo. F13. El conjunto de cadenas con cero o ms letras a seguidas de cero o ms letras b, seguidas de cero o ms letras c. F14. (Difcil!) El conjunto de cadenas formadas por 01 repetido una o ms veces, o por 010 repetido una o ms veces. F15. (Difcil!) El conjunto de cadenas de ceros y unos que contienen un 1 al menos en una de las diez ltimas posiciones. EJERCICIOS COMPLEMENTARIOS Los siguientes ejercicios pretenden darle prctica adicional en todos los conceptos aprendidos en los ejercicios fundamentales, por lo cual no debera intentarlos hacer antes de haber resuelto los primeros. Tenga presente que muchos de los ejercicios complementarios requieren de la mezcla de varios de los conceptos fundamentales para poderlos resolver exitosamente. Construya los AFD que acepten los siguientes lenguajes con el alfabeto {a,b}: C1. { w | w tienen al menos tres aes y al menos dos bes}. C2. { w | w tienen exactamente dos aes y al menos dos bes}. C3. { w | w tienen un nmero par de aes y una o dos bes}. C4. { w | w tienen un nmero par de aes y cada a es seguida por al menos una b}. C5. { w | w comienza con una a y tiene como mximo una b}. C6. { w | w tienen un nmero impar de aes y termina con ab}.
Pgina 4 de 4
C7. { w | w tienen longitud par y un nmero impar de aes} C8. { w | w no contenga la subcadena ab} C9. { w | w no contenga ni la subcadena ab ni la subcadena ba} C10. { w | w contiene un nmero igual de ocurrencias de las subcadenas ab y ba}. Por ejemplo, bab es vlida porque contiene una sola ab y una sola ba, pero baba no es vlida porque contiene dos ba y una sola ab. Elaborado por: Mario Zuluaga Tobn Ctedra de Compiladores Sitio Web del Curso: www.geocities.com/marioztobon