Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

GUA DE TRABAJOS PRCTICOS TEMA: AUTMATAS FINITOS

1) Para los lenguajes dados sobre = {a,b} construir un AFD que lo acepte: a) L = {w|w tiene un nmero par de a} b) L = {w|w tiene un nmero impar de a} c) L = {w|w tiene un nmero mltiplo de 3 de a} d) L = {w|toda a en w est entre dos b} e) L = {w|no hay dos a consecutivas en w} f) L = {w|w no contiene la subcadena aa ni bb} g) L = {w|w contiene un nmero impar de a y un nmero par de b} h) L = {w|w contiene un nmero impar de a y un nmero impar de b} i) L = {w|w contiene ab ba como subcadena} j) L = {w|w contiene ab y ba como subcadena} k) L = {w|w contiene ab ba como subcadenas, pero no ambas} 2) Dado el alfabeto = {0,1} encontrar un AFD cuyo lenguaje aceptado sea: a) L = {cadenas que empieza y acaban en 1} b) L = {cadenas que acaban en 00 o bien en 11} c) L = {cadenas con al menos dos smbolos consecutivos iguales} d) L = {cadenas que no tengan dos smbolos consecutivos iguales} e) L = {cadenas con al menos dos ceros y despus de stos al menos dos unos consecutivos} 3) Disee un AFD que acepte el lenguaje L = { w | w tiene un nmero par de ceros y unos} Y descrbalo como: a. Una quntupla, con una descripcin detallada de la funcin de transicin f. b. Un diagrama de transiciones c. Una tabla de transiciones d. Comprobar si la cadena 110101 pertenece al lenguaje, a travs de la funcin de transicin extendida 4) Construya los AFD que acepten los siguientes lenguajes con el alfabeto {0,1}: a) El conjunto de todas las cadenas terminadas en 00. b) El conjunto de todas las cadenas con tres ceros consecutivos (no necesariamente al final). c) El conjunto de las cadenas con 011 como subcadena. 5) Construya los AFD que acepten los siguientes lenguajes del alfabeto {0,1}: a) El conjunto de todas las cadenas en las que cada bloque de cinco smbolos consecutivos contiene dos ceros. b) El conjunto de las cadenas que empiezan o terminan con 01 (o ambas cosas). Pgina 1 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

6) Construir un AFD para cada uno de los siguientes lenguajes formales: a) Dado el alfabeto = {1,2,3} y el lenguaje L = {w | la suma de las cifras de w es mltiplo de 4}. Por ejemplo, seran vlidas 13, 31, 2222, etc. b) Sea el lenguaje L = {w {0,1}* | en w, la subcadena 00 aparece como mucho dos veces}. Por ejemplo, la palabra 000 pertenece al lenguaje por tener dos subcadenas 00, pero no la palabra 0000, ya que contiene tres subcadenas 00. Otros ejemplos de palabras vlidas son: 01001001, 01000, 1011. Ejemplos de palabras NO correctas: 0100100100, 01000100, 010000. c) Dado el alfabeto = {0,1}, sea el lenguaje de todas las palabras que tienen un nmero impar de smbolos 1, y adems contienen la subcadena 01. Por ejemplo, seran vlidas las subcadenas 01, 010101, 110111. Pero no lo seran 1, , 011 0101. d) Dado el alfabeto = {a, b, c, d}, las palabras que pertenecen a este lenguaje cumplen las condiciones de que si aparece la subpalabra db siempre est seguida por el smbolo c, y si aparece la subpalabra ba siempre est seguida por el smbolo d. por ejemplo, las siguientes palabras: a, dbcb, aabccbadc. e) = {a, b, c}. las palabras que pertenecen a este lenguaje cumplen simultneamente dos condiciones: tienen una longitud impar y contienen un nmero par de smbolos a (se considera que 0 es un nmero par). f) = {a, b, c}. pertenecen a este lenguaje las palabras que tienen un nmero par de veces (posiblemente ninguna) la subcadena bc. g) = {a, b}. las palabras que enen un nmero par de smbolos a y no con enen la subpalabra bbb ( se considera que 0 es un nmero par). 7) Dado el siguiente diagrama de transicin, determinar las cadenas que son aceptadas o no por el AFD.

a) b) c) d)

bab aaba aaaaaab babababab

8) Obtener el AFN que acepte las cadenas del alfabeto = {a,b} a) Que contengan al menos dos a consecutivas. b) Que terminen con bb

Pgina 2 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

9) Dado el siguiente lenguaje L2= xx*(xy)*y. a) Encontrar un AFN que acepte el lenguaje L2. b) Utilizando la funcin de transicin extendida correspondiente al AFN del punto anterior, demostrar que la cadena xxyy es vlida. 10) Convertir el siguiente AFN a AFD 0 p q r *s {p,q} {r} {s} {s}

1 {p} {r} {s}

11) Convertir el siguiente AFN a AFD 0 p {q,s} *q {r} r {s} *s

1 {q} {q,r} {p} {p}

12) Convertir el siguiente AFN a AFD y describir informalmente el lenguaje que acepta. 0 1 p {p,q} {p} q {r,s} {t} r {p,r} {t} *s *t 13) Dado los siguientes AFN, obtener los AFD equivalentes en cada caso: a.

Pgina 3 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

b.

14) Dados los lenguajes L(A1), L(A2) y L(A3) representados por los AFD A1, A2 y A3 mostrados a continuacin, comprobar que tales lenguajes son equivalentes.

(A1)

(A2)

(A3)

15) Minimizar los siguientes AFD: a)

Pgina 4 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

b)

c)

16) Disear AFN- para los siguientes lenguajes. Intente utilizar transiciones para facilitar el diseo: a) El conjunto de cadenas con cero o ms letras a seguidas de cero o ms letras b, seguidas de cero o ms letras c. b) El conjunto de cadenas formadas por 01 repetida una o ms veces, o por 010 repetida una o ms veces. c) El conjunto de cadenas de ceros y unos con 1 al menos en una de las 3 ltimas posiciones. 17) Dado el siguiente AFN-:

Encontrar las clausuras- de cada estado

Pgina 5 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

18) Dado el siguiente AFN-:

a

q0 b

q1 a

b q3

q2

c. Determinar si la cadena aab es reconocida por el AFN- d. Obtener el AFD equivalente 19) Dado el siguiente AFN- E, aplicando el procedimiento de construccin de subconconjunto, convertir a AFD. E = (Q, , f, p, F) donde: Q = {p, q, r} = {a, b, c} F = {r} f p q *r 20) a) Construya y especifique formalmente un AFN con todas sus componentes que reconozca el lenguaje ( x |y )* xyy. Mostrar el grafo y la tabla de transiciones para el AFN. b) Utilizando la funcin de transicin extendida describa el proceso de la entrada xxyy. c) Construya y especifique formalmente un AFD con todas sus componentes que reconozca el mismo lenguaje que el AFN del item a. d) Utilizando la funcin de transicin extendida describa el proceso de la entrada xyxyy. 21) Construir y especificar todos los componentes de los AFDs que acepten los siguientes lenguajes. a) L1: formado por cadenas del alfabeto {a,b, , z, , /, *} que permitan definir comentarios en el lenguaje de programacin C. Siendo Letras={a,b, , z}, Espacio el conjunto que contiene al espacio en blanco y SimbolosEspeciales={/, *}, el alfabeto es Letras U Espacio U SimbolosEspeciales y Pgina 6 de 8 {p} {q} a {p} {q} {r} b {q} {r} c {r} {p}

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

L1 = /*(Letras + Espacio)* */ Por ejemplo, comentarios vlidos: /* Esto es un comentario en el lenguaje c */ /**/ Comentarios no vlidos /*/ /* Este no es un comentario valido b) L2: formado por cadenas del alfabeto {a,b, , z, , /} que permitan definir comentarios en el lenguaje de programacin C++. Siendo Letras={a,b, , z}, Espacio el conjunto que contiene al espacio en blanco y SimbolosEspeciales={/}, el alfabeto es Letras U Espacio U SimbolosEspeciales y L2 = // (Letras + Espacio)* Por ejemplo, comentarios vlidos: // Esto es un ejemplo de comentario // Comentarios no vlidos: / Este no es un comentario valido Este tampoco // 22) Modelizar la solucin a cada uno de los siguientes problemas utilizando Autmatas Finitos (AFs), recordando que los estados del AF representan la memoria. Especificar las asunciones que considere necesarias realizar: a) Un hombre, un lobo, una oveja y un repollo estn en el lado izquierdo de un ro. Hay una lancha en la cual pueden ir el hombre y uno de los otros tres. El hombre desea cruzar al lado derecho del ro y puede cruzar slo a uno de los otros por vez. No obstante si el hombre deja al lobo y a la oveja solos, seguramente el lobo se comer a la oveja. De igual modo si se quedan la oveja y el repollo solos, la oveja se comer al repollo. Es posible cruzar el ro sin que la oveja o el repollo sean comidos? Considerar que el estado inicial del AF es aquel en el cual se encuentran los cuatro del lado izquierdo y el estado final es aquel en el cual los cuatro estn del lado derecho. b) Las comunicaciones de redes entre procesadores independientes son gobernadas por un protocolo, un ejemplo de ello es el Protocolo Kermit. Los AFs son tiles para implementar los programas de envo y recepcin de datos. La implementacin simplificada de un programa para la recepcin de archivos comienza en un estado de espera por un requerimiento de transferencia de un archivo. La recepcin de un paquete de inicializacin indica el comienzo de la transferencia, la cual espera por un paquete de encabezado de archivo, que especifica el nombre del archivo a ser transferido. Durante la transferencia se procesan una sucesin de paquetes de datos y un paquete EOF seala la finalizacin de la transferencia de un archivo. Si se transfiere una secuencia de archivos, entonces otro paquete de encabezado de archivo indica el inicio de la transferencia del nuevo archivo. Finalmente, la transferencia est completa cuando se recibe un paquete break y el programa de recepcin vuelve al estado inicial y espera al prximo requerimiento de transferencia. Pgina 7 de 8

Sintaxis y Semntica de Lenguajes Autmatas Finitos

I.S.I - UTN 2012

c) La interaccin bsica de un cajero automtico. Considere que en el inicio de la operacin la puerta del cajero esta cerrada y se debe pasar la tarjeta para que esta se abra. Una vez que el usuario ingresa la tarjeta en el cajero se le pide una clave, si la clave ingresada es errnea por segunda vez el cajero retiene la tarjeta. Si la clave es correcta el usuario puede extraer dinero o salir. Cuando el usuario opta por extraer dinero, el cajero solicita el monto y chequea si el saldo es suficiente, si el saldo no es suficiente el usuario puede ingresar otro monto o salir. Se considera que la transaccin es exitosa cuando el usuario puede salir del cajero con su tarjeta.

Pgina 8 de 8