Melizza Cely - 201324695

Lenguajes Formales – Taller No. 1

1. Expresar en extensión el conjunto .

2. Expresar en intención el conjunto .

4. Sean los conjuntos Calcular las siguientes operaciones:

a) ( )
( )
( )

b) ( )
( )
( )

c)

d) ( )

( )
( )
}

6. Sea el conjunto A = {a, b, c}. Proponer:

a) Una relación en A x A.

b) Una función en A → A
 Melizza Cely - 201324695

c) Una relación en A x A que no sea función.

9. Considérese la relación {(a,d), (b,d), (c,a), (d,d), (c,b)}. Calcular su cerradura:

a) Reflexiva
( )( )( )( )( )( )( )( )

b) Simétrica
( )( )( )( )( )( )( )( )( )

c) Transitiva
( )( )( )( )( )( )( )

d) Reflexiva y transitiva
( )( )( )( )( )( )( )( )( )( )

e) Transitiva y simétrica
( )( )( )( )( )( )( )( )( )( )

f) Reflexiva, transitiva y simétrica (estas son llamadas “relaciones de equivalencia”).

( )( )( )( )( )( )( )( )( )( )( )( )( )

13. Dar tres ejemplos de lenguajes basados en el alfabeto {a, b, c}.

a) Primer ejemplo:

b) Segundo ejemplo:

c) Tercer ejemplo:
 Melizza Cely - 201324695

16. Calcular la concatenación del lenguaje con .

( )
24. Probar por inducción la propiedad de los naturales ,
para todo .

 Se procede a mostrar la validez de la fórmula para el caso .

( )

 Se supone que la fórmula es válida para un número natural cualquiera .

( )
 La hipótesis de la inducción sería:

 Y a partir de esto se establece la validez de la fórmula para .

( ) ( ) ( )

( )

( ) ( )

( )( )

( ) ( )

Así se puede concluir que la fórmula se cumple o es válida para todo número natural . El
principio de inducción funciona, ya que al demostrar cada vez que la propiedad se cumple
para cualquier número natural, entonces también se cumple para el siguiente.