Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Practicos Lenguajes Formales
Practicos Lenguajes Formales
CONJUNTOS
1. Demuestre las Leyes de De Morgan
(a)
(a)
(b)
(b)
3.
2. Pruebe que
Si A B y B C , entonces A C
(A B)c = A c B c
(A B)c = A c B c
Demuestre que
A B si y solo si A B = A B
CADENAS
4. En * definimos la operacin ,
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*)
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 *)