Lista de Ejercicios: Induccion

Carlos Olarte
9 de marzo de 2015
Utilice inducci
on para probar lo siguiente:
1. 3n < n!
2. Si A1 , A2 , ..., An y B1 , B2 , ..., Bn son conjuntos tales que Aj Bj para
todo j 1..n, entonces
n
n
[
[
Bi
Ai
i=1

i=1

3. Asuma un conjunto infinito de constantes a1 , a2 , ..... A partir de dichas

constantes se definen los tokens que un programa puede utilizar de la
siguiente manera:
C ::= ai | (C C) | 4C
Expresiones en el lenguaje se construyen a partir de los tokens por medio
de la siguiente sintaxis:
P ::= skip | F(P) | (PP) | C
a) Escriba 5 tokens (expresiones tipo C) bien formados.
b) Escriba 5 programas (expresiones tipo P) bien formadas en este lenguaje.
c) Asuma que P es un programa bien formado. Demuestre que si hay
una ocurrencia del operador 4 en P , dicha ocurrencia esta precedida de una ocurrencia del operador .
Diga si las siguientes frases son ciertas o falsas. Si considera que es falsa,
muestre un contraejemplo. Si es cierta, escriba la prueba respectiva.
a) El n
umero de ocurrencias de 4 en un programa bien formado es
par.
b) Asuma que el proceso P no contiene ocurrencias del operador .
El n
umero de ocurrencias de en P es 0 o 1.
c) En un programa bien formado skip puede aparece maximo 1 vez.
d ) Todo prefijo propio de un token es (1) la secuencia vaca; o (2) una
secuencia de uno o varios 4; o (3) una secuencia con excesos de
(.