PRCTICO 1

INF 319 LENGUAJES FORMALES. GESTIN 32013

CONJUNTOS
1. Demuestre las Leyes de De Morgan

(a)

(a)
(b)

(b)
3.

(A B)c = A c B c
(A B)c = A c B c

2. Pruebe que

Si A B y B C , entonces A C

Demuestre que
A B si y solo si A B = A B

CADENAS
4. En * definimos la operacin ,

5. En * se define el prefijo de una

recursivamente, de la siguiente manera:

cadena as:
DEFINICIN.
Para toda u, v*,
decimos que u es prefijo de v (anotado
u pref v) sii existe una z*, tal que
v=uz

=
(aw) = a w a(a, w*)

Sabiendo esto, demuestre que, para todo

u*:

Para toda s, u, v*, pruebe que :

(a) pref s
(b) s pref s
(c) Si u pref v

(a) |u| = 2|u|

(b) (u) = u

y v pref s entonces u

pref s

LENGUAJES
6. Demuestre que

Si Q entonces P (PQ)

7. Pruebe que

(P,

(Pc) = (P)c

(P *)

Q *)
9. Demuestre
8. Pruebe que

P* Q* (P Q)*

(P*)* = P*
(P,

(P *)

Q *)