Examen Parcial - Febrero 07. TALF ITIS, grupos A y B.

UCM
1. (3 puntos) Sea el alfabeto ~ = {a., b, e}. Para cada uno de los lenguajes que se proponen a continuacin, indica si es regular o no lo es. En caso afirmativo, muestra una expresin regular que caracterice dicho lenguaje. En caso negativo, demuestra la no regularidad del lenguaje mostrando un conjunto infinito de cadenas distinguibles dos a dos (y, como es habitual, mostrando por qu esas cadenas dos a dos son distinguibles), o bien aplicando el lema del bombeo. (a) (b) (c) (d) Ll
L2 La L4

= {wl

en w hay ms a's que b's y ms b's que c's}

= ~* n {wlla longitud de w es el cuadrado de un primo} = {wlla longitud de w es un nmero primo}* = {wl w tiene al menos una e, y desde la primera e en adelante ya no hay b's}
{a., b, e}. Crea gramticas

Notas: Recuerda que el primer nmero primo es el 2. No olvides la * en el lenguaje La. 2.

(1.5 puntos) Sea el alfabeto ~ =

(a) Ll (b) L2

incontextuales

para los siguientes lenguajes:

= =

{Wl e w21 Wl Y W2 no contienen

{ail)a:Jk/Jkl

c's y son de la misma longitud}

::::: j

+ 2}
para hallar la expresin regular que caracteriza el

3.

(1.75 puntos) Aplica algn mtodo automatizable lenguaje que reconoce el siguiente AFD.

-0) " ~)

4. 5.

(1 punto) Aplica algn algoritmo automatizable para hallar un AFN-A que reconozca el lenguaje caracterizado por la expresin regular (a* b* + c)d + (a + b)*.
(1.25 puntos) Aplica un algoritmo automatizable para minimizar el siguiente AFD. Para cada pareja que marques como distinguible, la notacin que utilices debe permitir averiguar claramente p01' q~t y en qu momento consideraste ese par de estados como distinguible. Si la notacin que utilizas no es alguna de las utilizadas en clase, explcala. Al final, no te olvides de mostrar el AFD minimizado.

()/'" 8
b

(0))"

6.

(1.5 puntos) Responde a las siguientes cuestiones:

(a) Inventa un algoritmo que permita transformar cualquier ER a una GI que denote el mismo lenguaje. Para ello, haz que los pasos de tu algoritmo consistan en utilizar otros algoritmos conocidos. (b) Dado un lenguaje explica por qu.

L que no es regular, Puede ser L * regular? Si es as, muestra un ejemplo. Si no,

(c) Existe algn lenguaje regular L tal que cualquier AFD que reconozca L deba tener como mnimo 27351 estados? Si es as, muestra un lenguaje que lo cumpla y explica por qu es imposible reconocer ese lenguaje con menos estados. Si no es as, explica por qu.

b b

~t!o - CD ~+b4-

bf-dfl'fn JJ/ ---,~_@

tlil:*bb

-::(G)

II~~ v
''7-

bb

_~
~~

bh+ffl-fbaXbf-tU~ftlfl*bb

fVvt~(bb+-&t-+fAJlb+a4--*b)~~bb

(b&)*L4-+bcXb:~b~t({~~b)(6bf{a~){bfcU~td-1JJk

.-w

m3;:;{6b t{a-Htt) b:t:a~ tZ}-bb~ lYC6/-;)((,b rfl,~

rn

;lu ~~
!j--

/rf[) 5

b~_{a.+~a.1:, *'a ) ~ m1-+GIZ'Zfl3{2.?;;.

@ Ltf-* b*t-c)l
af.~~
O-~:~
.

ea+- b )* .

b:~
b*;
:\ A

c~~_c::>@

J---~
a#?: ~.
~~

;\

b
A

o~

J*"b%: ~
.

~ry ~_ ..-J
a,~~~
b

~ob
-d-~' ~

G-+& f2 >

;\

t:_'A~
~~6
~

{t't:h*+-c:

}.
~

-"-~

..

~o--S@

-t{-

Wh*+-c)A:
~ ~n