Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
= ~* 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
incontextuales
= =
::::: 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.
(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-
-::(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
rn
;lu ~~
!j--
/rf[) 5
@ 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