Universidad de Morn Lenguajes Formales y Autmatas

2012

Lenguajes Formales y Autmatas

Ejercicios Resueltos 1
1. Ejercicio: Obtener varias palabras del lenguaje R , 1, 0 i 1 1 1 2 2 2 2 2 2 j 1 1 1 1 1 1 2 2 2 k 0 1 2 0 1 2 0 1 2 aaccacb aaccac aaccacbb aaccaca aaccacbbb aaccacc aaaaccacb aaaaccac aaaaccacbb aaaaccaca aaaaccacbbb aaaaccacaa aaaacccacb aaaacccac aaaacccacbb aaaacccaca aaaacccacbbb aaaacccacaa

2. Ejercicio: Probar que el lenguaje R es regular Debemos probar que dicho lenguaje puede obtenerse a partir de los casos base y los casos inductivos. Podemos expresar: , Si L, L, y L fuesen regulares, por el primer caso inductivo, R sera regular. Slo nos queda probar que estos tres lenguajes son regulares. , 1 O tambin: , 1 Podemos reemplazar i y j por i = m + 1 y j = n +1, por lo tanto:
Ejercicios Resueltos 1

Universidad de Morn Lenguajes Formales y Autmatas

2012

, 0 Y descomponiendo: , 0 Por el tercer caso base tenemos que {a} y {c} son lenguajes regulares. Por ello, y por el tercer caso inductivo, 0 es un lenguaje regular. Lo mismo podemos plantear para cn. Por lo tanto L es la concatenacin de lenguajes regulares, y por primer caso inductivo L es un lenguaje regular. L es la concatenacin de tres smbolos. Cada smbolo puede considerarse por tercer caso base como generado por un lenguaje regular, por lo tanto la concatenacin de tres lenguajes regulares es un lenguaje regular. 0 Aqu podemos considerar: Donde: 0 y 0 L2 es el lenguaje generado por la clausura reflexiva y transitiva de {a}. Por lo tanto por tercer caso inductivo y tercer caso base, L2 es un lenguaje regular. L1 lo desarrollamos: 0 Siguiendo el mismo procedimiento que para L, podemos encontrar que L1 es un lenguaje regular. Con ello por el segundo caso de induccin, L es un lenguaje regular. Hemos probado que L, L, y L son regulares, por lo tanto (aplicando el primer caso inductivo), R es un lenguaje regular. 3. Ejercicio: Describir una gramtica regular para R , , , , , , , , , , , , Las producciones P son:
L S aA A aB B aA B cB L B cD D aE E cF L (L1) F bG G bG G L (L2) F aH F H aH H

Ejercicios Resueltos 1

Universidad de Morn Lenguajes Formales y Autmatas

2012

Alternativamente sin utilizar :

L S aA A aB B aA B cB L B D E E cD aE cF c L (L1) F F G G bG b bG b L (L2) F F H H aH a aH a

Para desarrollar este ejercicio nos basamos en los casos base e inductivos:
S a S aA A b S (para i=0) S a S aS S S B B a (para i=0) aB b bB S S A A B S a S b (para i=0) aA b (para terminar) bB aA S S S S 0 S a S aS aS bS a (para terminar) b (para terminar)

4. Ejercicio: Crear una expresin regular para el lenguaje R Para desarrollar este ejercicio nos basamos en los casos base e inductivos:
0

5. Ejercicio: Crear un autmata finito que reconozca R Utilizaremos para esto primero la gramtica regular desarrollada en Ejercicio: Describir una gramtica regular para R.
L S aA A aB B aA B cB L B D E E cD aE cF c L (L1) F F G G bG b bG b L (L2) F F H H aH a aH a

Ejercicios Resueltos 1

Universidad de Morn Lenguajes Formales y Autmatas

2012

Por cada smbolo no terminal se crea un estado. Por cada produccin se agrega una transicin cuyo smbolo que dispara la transicin es el smbolo terminal de la produccin. Si en las producciones existiera S , se colocara el estado S como un estado final. El estado T se agrega para las producciones que derivan en un terminal. Este es el nico estado S a
A B

a c a c c
T

b a
D

c
E

b
F G

b a a

a
H

a b

final. , , , , , , , , , , , , , , La funcin de transicin de estados est dada por los arcos del diagrama de transicin entre estados.
Estado S A B D E F G H #T {H,T} {H,T} {G,T} {G,T} a {A} {B} {A} {E} {F,T} {B,D} b c

El autmata resultante es un autmata NO determinstico. Ahora haremos lo mismo en base a la expresin regular obtenido en el ejercicio 4:

Ejercicios Resueltos 1

Universidad de Morn Lenguajes Formales y Autmatas

2012

a a a a

c c c

a c

b a b

6. Ejercicio: Obtener el autmata finito determinstico equivalente al del ejercicio 5 Primero agregamos un estado por cada conjunto de estados destinos de la tabla de transicin de estados del ejercicio 5. Los estados F, G, H, y T no aparecen en la nueva tabla dado que siempre son accedidos en un conjunto de estados. Para los nuevos estados combinados, los estados destino se conforman con el conjunto de estados al cual acceden cada uno de los estados originales. Por ejemplo para el nuevo estado FT, los estados destinos son, para el smbolo a, el estado definido por el conjunto de estados destino tanto del estado original F como el de T.
Estado S A B D E BD AE A A B A E FT BD BD B C

Ejercicios Resueltos 1

Universidad de Morn Lenguajes Formales y Autmatas #HT #GT #FT AE HT B HT GT GT FT

2012

7. Ejercicio Escriba una expresin regular para representar expresiones aritmticas en binario Nota: No se utilizarn parntesis. Por qu no? Ejemplo de la expresin: 100010 + 11001 11001 Consideraremos que los nmeros siempre comienzan con 1, excepto el nmero 0. Llamaremos a la expresin que representa los nmeros. Entonces la expresin regular para las expresiones aritmticas ser: La expresin para : 0 10 1 La expresin final ser: 0 10 1 0 10 1

Ejercicios Resueltos 1