Temas de Examen Parcial Informatica III

Induccin y recursin
UNIDAD I
Agenda
1.
2.
3.
4.
5.
6.
Matemtica discreta vs Matemtica continua.

Principio de induccin matemtica (PIM).
Definiciones recursivas.
Ejemplo 1, Nmeros de Fibonacci.
Ejemplo 2, funcin de Ackerman.
Reduccin al absurdo.
Parte 1
Matemtica Discreta versus Matemtica Continua
Matemtica Discreta
Algunos temas que abarca la matemtica discreta:

1. Teora de conjuntos.
2. Lgica matemtica.
3. Relaciones y clases de equivalencia.
4. Teora de grafos.
5. Teora de nmeros.
6. Estructuras lgicas.
Matemtica Continua
La matemtica continua comprende temas como:
1.
2.
3.
Continuidad y lmites de funciones.

Clculo diferencial e integral.
Ecuaciones diferenciales.
Herramientas para el curso

Dada la naturaleza de los temas que sern tratados durante el
curso, estas herramientas sern de gran utilidad:
1.
2.
Principio de Induccin Matemtica (PIM).

Funciones Recursivas.
Parte 2
Principio de Induccin Matemtica (PIM)
Ilustracin intuitiva sobre el PIM
De qu color es la bola en cada

una de las urnas?
Principio de induccin matemtica

(PIM)
El PIM se basa en dos ideas subyacentes:
1.
2.
Una afirmacin de tipo inductivo.

Una comprobacin de tipo llamado caso base.
Ejemplo: PIM
Utilizar PIM para demostrar que la frmula utilizada para
calcular la suma de todos los nmeros naturales iguales o
menores a un nmero dado n, se cumple para todos los
nmeros naturales.
n(n + 1)
Sn = i =
2
i =0
Ejemplo: PIM
Caso Base
Ejemplo: PIM
Caso Base
Probaremos que la frmula se cumple para el caso en el que
n = 0.
Ejemplo: PIM
Caso Base
n = 0.
0
S0 = i
i =0
Ejemplo: PIM
Caso Base
n = 0.
0
S0 = i = 0
i =0
Ejemplo: PIM
Caso Base
n = 0.
0
0(0 + 1)
S0 = i = 0 =
2
i =0
Ejemplo: PIM
Caso Base
n = 0.
0
S0 = i = 0 =
i =0
0(0 + 1)
2
Por lo tanto la frmula se cumple para el caso base, cuando

n = 0.
Ejemplo: PIM
Hiptesis inductiva
Ejemplo: PIM
Hiptesis inductiva
Para esto asumimos que la frmula es valida para el caso n.
n
n(n + 1)
Sn = i =
2
i =0
Ejemplo: PIM
Hiptesis inductiva
Para esto asumimos que la frmula es valida para el caso n.
n
Tesis
n(n + 1)
Sn = i =
2
i =0
Ahora debemos demostrar que la frmula anterior conserva el

mismo patrn en el caso n+1
n +1
S n +1 = i =
i =0
(n + 1)((n + 1) + 1) ?
2
Ejemplo: PIM
Demostracin
Ejemplo: PIM
n +1
S n +1 = i
i =0
Explicacin: Tesis
Ejemplo: PIM
n +1
i =0
i =0
S n +1 = i = i + (n + 1)
Explicacin: Propiedad de las sumatorias
Ejemplo: PIM
n(n + 1)
S n +1 = i = i + (n + 1) =
+ (n + 1)
2
i =0
i =0
n +1
Explicacin: Por hiptesis inductiva.
Ejemplo: PIM
n(n + 1)
+ (n + 1)
2
Explicacin: Ahora desarrollemos el trmino

anterior
Ejemplo: PIM
n(n + 1)
n(n + 1) + 2(n + 1)
+ (n + 1) =
2
2
Explicacin: Factorizacin
Ejemplo: PIM
(
n(n + 1)
n + 1)(n + 2)
+ (n + 1) =
2
2
Explicacin: Mediante factorizacin
Ejemplo: PIM
(
n(n + 1)
n + 1)(n + 2 ) (n + 1)(n + 1 + 1)
+ (n + 1) =
=
2
2
2
Explicacin: Se puede escribir de esta manera
Ejemplo: PIM
(
n(n + 1)
n + 1)(n + 2 ) (n + 1)(n + 1 + 1)
+ (n + 1) =
=
2
2
2
Que es lo queramos demostrar!!
Ejemplo: PIM
Por lo tanto mediante PIM hemos demostrado que:
n
n(n + 1)
Sn = i =
2
i =0
Para todo nmero n que pertenezca a los nmeros naturales.
Ejemplo: PIM
Por lo tanto mediante PIM hemos demostrado que:
n
n(n + 1)
Sn = i =
2
i =0
Para todo nmero n que pertenezca a los nmeros
naturales.
Q Q.E.D.
Parte 3
Definiciones Recursivas
Definiciones Recursivas
Para definir recursivamente necesitamos dos casos:
1. Un caso base.
2. Un caso inductivo.
Factorial
Un ejemplo simple de recursin, factorial de un nmero n.
Base:
0! = 1
Induccin: n! = n*(n-1)!, para n 1
Ejemplo de factorial
Utilizando al definicin recursiva anterior, calculemos el
factorial de 4 (4!).
Definicin recursiva de factorial
0! = 1
n! = n*(n-1)!
4!=?
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
4!=?
Explicacin: Usamos la definicin, caso
inductivo.
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
4!=4*(3)!
Explicacin: Usamos la definicin, caso
inductivo.
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
4!=4*(3)!
Explicacin: Aplicamos nuevamente el caso
inductivo
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
4!=4*(3)!=4*(3*(2)!)
inductivo
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
4!=4*(3)!=4*(3*(2)!)
inductivo
-> Base
-> Induccin
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))
inductivo
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))
Explicacin: Continuamos aplicando el caso
inductivo.
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))=4*(3*(2*1*(0)!))
Explicacin: Continuamos aplicando el caso

inductivo.
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))=4*(3*(2*1*(0)!))
Explicacin: Ahora aplicamos el caso base.
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))=4*(3*(2*1*1))
Explicacin: Ahora aplicamos el caso base.
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))=4*(3*(2*1*1))
4*3*2*1
Explicacin: Ahora solo debemos operar.
0! = 1
n! = n*(n-1)!
-> Base
-> Induccin
4!=4*(3)!=4*(3*(2)!)=4*(3*(2*(1)!))=4*(3*(2*1*1))
4*3*2*1 = 24
Explicacin: Ahora solo debemos operar.
Parte 4
Nmeros de Fibonacci
Ejemplo: Nmeros de Fibonacci

1.
2.
3.
F0 = 0
F1 = 1
Fn = Fn-1 + Fn-2
-> Base, parte 1

-> Base, parte 2
-> Induccin

Veamos algunos ejemplos de la funcin de Fibonacci:
F0 = 0
F1 = 1
F2 = 1
F3 = 2
F4 = 3
F5 = 5
F6 = 8
F7 = 13

Frmula para calcular fibonacci:
En donde:
Fn =
n n
5
1+ 5
1 5
=
; =
2
2

Demostracin por medio de PIM:
1.
2.
3.
Caso Base.
Hiptesis Inductiva
Tesis

Casos Base
F0 =
0 0
5
Para n = 0

Casos Base
F0 =
0 0
5
Para n = 0
Por definicin:
F0 = 0

Casos Base
0
1 1

F0 =
=
5
5

Casos Base
F0 =
0 0
5
1 1
=
=0
5

Casos Base
F0 =
F1 =
0 0
5
1 1
5
11
=
=0
5
Para n = 1

Casos Base
F0 =
F1 =
0 0
5
1 1
5
11
=
=0
5
Para n = 1
Por definicin:
F1 = 1

Casos Base
F0 =
F1 =
0 0
5
1 1
5
11
=
=0
5

Casos Base
F0 =
0 0
5
11
=
=0
5
1+ 5 1 5
1 1
2
F1 =
=
= 2
5
5
5

Casos Base
F0 =
0 0
5
11
=
=0
5
1+ 5 1 5
1
1

1+ 5 1 5
2
2
=
=
=
F1 =
5
5
5
2 5
) (

Casos Base
F0 =
0 0
5
11
=
=0
5
1+ 5 1 5
1
1

1+ 5 1 5 2 5
2
2
F1 =
=
=
=
=
5
5
5
2 5
2 5
) (

Casos Base
F0 =
0 0
5
11
=
=0
5
1+ 5 1 5
1 1
1+ 5 1 5
2
2
F1 =
=
=
=
=1
5
5
5
2 5
) (

Hiptesis Inductivas
Fn =
n n
5
Fn 1 =
n 1 n 1
5

Hiptesis Inductivas
Fn =
Tesis:
n n
5
Fn +1 =
Fn 1 =
n +1 n +1
5
n 1 n 1
5
?

Por definicin
Fn +1 = Fn + Fn 1

n n n 1 n 1
Fn +1 =
+
5
5
Explicacin: Por hiptesis inductivas

n n + n 1 n 1
Fn +1 =
5
Explicacin: Por comn denominador.

n n 1 ( n + n 1 )
Fn +1 =
5
Explicacin: Reordenando y agrupando.

n 1 ( + 1) n 1 ( + 1)
Fn +1 =
5
Explicacin: Por factorizacin.

n 1 ( + 1) n 1 ( + 1)
Fn +1 =
5
OJO!
2
1+ 5 1+ 2 5 + 5 3
5 1+ 5
=
=
= +
=
+1 = +1
4
2 2
2
2
2

n 1 ( + 1) n 1 ( + 1)
Fn +1 =
5
OJO!
2
1+ 5 1+ 2 5 + 5 3
5 1+ 5
=
=
= +
=
+1 = +1
4
2 2
2
2
2
1 5 1 2 5 + 5 3
5 1 5
2
=
=
=
=
+ 1 = + 1
4
2 2
2
2

n 1 2 n 1 2
Fn +1 =
5
Explicacin: Por resultados anteriores

n +1 n +1
Fn +1 =
5
Explicacin: Por suma de exponentes

n +1 n +1
Fn +1 =
5
Q Q.E.D.
Parte 5
Funcin de Ackerman
Ejemplo: Funcin de Ackerman

1.
A(0,y) = y+1
2.
A(x,0) = A(x-1,1)
-> Induccin, parte 1
A(x,y) = A(x-1,A(x,y-1)) -> Induccin, parte 2
3.
-> Base
Para todo x, y N

A(2,1)=?

A(2,1)=?
Caso 3:
A(x,y) = A(x-1,A(x,y-1))

A(2,1)=?
Caso 3:
A(x,y) = A(x-1,A(x,y-1))
x=2
-> x-1 = 1
y=1
-> y = 0

A(2,1)=A(1,A(2,0))
Caso 3:
A(x,y) = A(x-1,A(x,y-1))
x=2
-> x-1 = 1
y=1
-> y = 0

A(2,1)=A(1,A(2,0))
A(2,0) = ?

A(2,1)=A(1,A(2,0))
A(2,0) = ?
Caso 2:
A(x,0) = A(x-1,1)

A(2,1)=A(1,A(2,0))
A(2,0) = ?
Caso 2:
A(x,0) = A(x-1,1)
x=2
-> x-1 = 1

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
Caso 2:
A(x,0) = A(x-1,1)
x=2
-> x-1 = 1

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = ?

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = ?
Caso 3
A(x,y) = A(x-1,A(x,y-1))

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = ?

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = ?
Caso 2:
A(x,0) = A(x-1,1)

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = A(0,1)
Caso 2:
A(x,0) = A(x-1,1)

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = A(0,1)
A(0,1) = ?

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = A(0,1)
A(0,1) = ?
Caso 1:
A(0,y) = y+1

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = A(0,1)
A(0,1) = ?
Caso 1:
A(0,y) = y+1
y=1
-> y+1 = 2

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = A(0,1)
A(0,1) = 2
Caso 1:
A(0,y) = y+1
y=1
-> y+1 = 2

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,A(1,0))
A(1,0) = 2
Por resultado anterior

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,2)

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,2)
A(0,2) = ?
Caso 1:
A(0,y) = y+1

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,2)
A(0,2) = ?
Caso 1:
A(0,y) = y+1
y=2
-> y+1 = 2

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = A(0,2)
A(0,2) = 3

A(2,1)=A(1,A(2,0))
A(2,0) =A(1,1)
A(1,1) = 3

A(2,1)=A(1,A(2,0))
A(2,0) = 3

A(2,1)=A(1,3)

A(2,1)=A(1,3)
A(1,3) = ?

A(2,1)=A(1,3)
A(1,3) = ?
Caso 3
A(x,y) = A(x-1,A(x,y-1))

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = ?
Caso 3
A(x,y) = A(x-1,A(x,y-1))

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = A(0,A(1,1))

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = A(0,A(1,1))
A(1,1) = 3

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = A(0,3)

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = A(0,3)
A(0,3) = ?
Caso 1:
A(0,y) = y+1

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = A(0,3)
A(0,3) = 4

A(2,1)=A(1,3)
A(1,3) = A(0,A(1,2))
A(1,2) = 4

A(2,1)=A(1,3)
A(1,3) = A(0,4)

A(2,1)=A(1,3)
A(1,3) = A(0,4)
A(0,4) = ?
Caso 1:
A(0,y) = y+1

A(2,1)=A(1,3)
A(1,3) = A(0,4)
A(0,4) = 5

A(2,1)=A(1,3)
A(1,3) = 5

A(2,1)=5

A(2,1)=5
Que es el resultado final
Funcin de Ackerman: propiedades

Primera Propiedad
Demostracin por medio de PIM.
A(1, y ) = y + 2;
para todo entero " y".
Funcin de Ackerman:
propiedades
Caso Base
A(1,0) = A(0,1);
por caso 2 : A(x,0 ) = A(x 1,1)
Funcin de Ackerman:
propiedades
Caso Base
A(1,0) = A(0,1);
A(0,1) = 1 + 1 = 2;
por caso 2 : A(x,0 ) = A(x 1,1)

por caso 1 : A( 0,y) = y + 1
Funcin de Ackerman:
propiedades
Caso Base
A(1,0) = A(0,1);
por caso 2 : A(x,0 ) = A(x 1,1)
A(0,1) = 1 + 1 = 2; por caso 1 : A( 0 ,y) = y + 1
Por lo que se cumple el caso base
Funcin de Ackerman:
propiedades
Hiptesis Inductiva
A(1, y ) = y + 2
Tesis
A(1, y + 1) = ( y + 1) + 2 ?

Demostracin
Funcin de Ackerman:
propiedades
Demostracin
A(1, y + 1) = A(0, A(1, y ))
caso 3 : A( x,y ) = A(x 1,A(x,y 1 ))
Funcin de Ackerman:
propiedades
Demostracin
A(1, y + 1) = A(0, A(1, y )) caso 3 : A(x,y) = A(x 1,A(x,y 1 ))
A(0, A(1, y )) = A(0, y + 2)) H.I.
Funcin de Ackerman:
propiedades
Demostracin
A(1, y + 1) = A(0, A(1, y ))
caso 3 : A(x,y) = A(x 1,A(x,y 1 ))
A(0, A(1, y )) = A(0, y + 2)) H.I.

A( 0 ,y + 2 ) = (y + 1 ) + 2 lgebra y caso 1 : A( 0 ,y) = y + 1
Funcin de Ackerman:
propiedades
Demostracin
A(1, y + 1) = A(0, A(1, y ))
caso 3 : A(x,y) = A(x 1,A(x,y 1 ))
A(0, A(1, y )) = A(0, y + 2)) H.I.
A( 0 ,y + 2 ) = (y + 1 ) + 2
lgebra y caso 1 : A( 0 ,y) = y + 1
Q Q.E.D.

Segunda Propiedad
Demostracin por medio de PIM.
A(2, y ) = 2 y + 3;
para todo entero " y".

Caso Base
A(2,0) = A(1,1);
por caso 2 : A(x,0 ) = A(x 1,1)
Funcin de Ackerman:
propiedades
Caso Base
A(2,0) = A(1,1);
A(1,1) = 1 + 2 = 3;
por caso 2 : A(x,0 ) = A(x 1,1)

por propiedad 1 : A( 1,y) = y + 2
Por lo que se cumple el caso base
Funcin de Ackerman:
propiedades
Hiptesis Inductiva
A(2, y ) = 2 y + 3
Tesis
A(2, y + 1) = 2( y + 1) + 3 ?
Funcin de Ackerman:
propiedades
Demostracin
Funcin de Ackerman:
propiedades
Demostracin
A(2, y + 1) = A(1, A(2, y ))
caso 3 : A( x,y ) = A(x 1,A(x,y 1 ))
Funcin de Ackerman:
propiedades
Demostracin
A(1, A(2, y )) = A(1,2 y + 3)) H.I.
Funcin de Ackerman:
propiedades
Demostracin
A(1, A(2, y )) = A(1,2 y + 3)) H.I.
A( 1,2 y + 3 ) = ( 2 y + 3 ) + 2
Funcin de Ackerman:
propiedades
Demostracin
A(1, A(2, y )) = A(1,2 y + 3)) H.I.
A( 1,2 y + 3 ) = ( 2 y + 3 ) + 2
( 2 y + 3 ) + 2 = 2(y + 1 ) + 3

por lgebra
Funcin de Ackerman:
propiedades
Demostracin
A(1, A(2, y )) = A(1,2 y + 3)) H.I.
A( 1,2 y + 3 ) = ( 2 y + 3 ) + 2
( 2 y + 3 ) + 2 = 2(y + 1 ) + 3

por lgebra
Q Q.E.D.
Parte 6
Reduccin al Absurdo
Ejemplo: Reduccin al absurdo

Demostremos que es un nmero irracional, es decir, que
no puede ser representado como una fraccin de nmeros
enteros, por medio de Reduccin al Absurdo.
2

Solucin
Supongamos que
es un nmero racional.

Solucin
Supongamos que 2 es un nmero racional.
Esto significa que existen dos nmeros m y n
(primos relativos) tales que:
m
2=
n
m
2 =
n
( )
Explicacin: Elevemos ambos lados de la igualdad

anterior al cuadrado.
Explicacin: Lo cual podemos escribir
m
2= 2
n
Explicacin: Lo cual podemos escribir
Explicacin: Multiplicando ambos lados de la

ecuacin por n2.
2n = m
Explicacin: Multiplicando ambos lados de la

ecuacin por n2.

2
2n = m
Por lo que m2 es un nmero par y tambin m lo es. Recuerde

que la multiplicacin de dos nmeros impares es siempre impar,
por lo que m no podra ser impar sin caer en una contradiccin.

De lo anterior podemos concluir que existe un nmero k, tal
que:
2k = m

De lo anterior podemos concluir que existe un nmero
k, tal que:
2
4k = m
2
Sustituimos en la ecuacin

k, tal que:
2
4k = m
2
2n = m

k, tal que:
2
4k = m
2
2n = m
4k = m
2
Y tenemos
2n = m
Y tenemos
2n = 4k

Por lo anterior n2 es par y n tambin lo es.
De esto resulta que n y m son pares, lo cual contradice la
hiptesis (acerca de que n y m son primos), y as se produce un
absurdo, lo cual nos obliga a aceptar que la hiptesis planteada
no es verdadera.

Por lo anterior n2 es par y n tambin lo es.
De esto resulta que n y m son pares, lo cual contradice
la hiptesis (acerca de que n y m son primos), y as se
produce un absurdo, lo cual nos obliga a aceptar que la
hiptesis planteada no es verdadera.
Q Q.E.D.
Ejercicio 1
Sea Fn el n-simo nmero de Fibonacci. Usando el PIM demuestre
la validez de la siguiente proposicin:
n
1+
i =1
F =F
2i
2 n +1
, n 1
Ejercicio 1
Caso Base
1
1 +
i =1
2i
? Para n = 1
Por una parte:
1 + F2i = 1 + F2 = 1 + 1 = 2
i =1
Por otra parte:
F3 = 2
Con lo que se comprueba el caso base.
Ejercicio 1
Hiptesis Inductiva
k
1 + F2 i = F2 k +1 , k N
i =1
Tesis
k +1
1 + F2 i = F2 ( k +1) +1 ?
i =1
Ejercicio 1
k +1
Tesis
1 + F2 i = F2 ( k +1) +1 ?
i =1
Demostracin
k +1
1+
i =1
2i
= 1+ (
i =1
k +1
2i
2i
i = k +1
Explicacin: por propiedades de sumatorias
Ejercicio 1
k +1
Tesis
1 + F2 i = F2 ( k +1) +1 ?
i =1
Demostracin
k +1
1+
i =1
2i
= (1 +
i =1
k +1
2i
)+
2i
i = k +1
Explicacin: por asociatividad de la suma
Ejercicio 1
k +1
Tesis
1 + F2 i = F2 ( k +1) +1 ?
i =1
Demostracin
k +1
1+
i =1
k +1
2i
2 k +1
2i
i = k +1
Explicacin: sustituyendo Hiptesis Inductiva
Ejercicio 1
Tesis
k +1
1 + F2 i = F2 ( k +1) +1 ?
i =1
Demostracin
F
=F
=F
=F
=
2 k +1
+ F 2 ( k +1)
2 k +1
+ F 2k +2
2 k +3
2 ( k +1) +1
Explicacin: por definicin recursiva de los nmeros de Fibonacci
Q Q.E.D.
Informtica III
Lenguajes
Agenda
1. Lenguajes, un poco de historia.
2. Alfabetos.
3. Cuerdas.
4. Operaciones entre cuerdas.
5. Lenguajes.
6. Ejemplos.
Lenguajes
Un poco de historia
Un poco de historia
Inicios de la computacin: conexin de alambres

Salto cuntico con el concepto de programa
almacenado, sin embargo los lenguajes eran de bajo
nivel
Desarrollo de lenguajes de alto nivel unido a la
formalizacin de la Teora de Lenguajes
Bases de la Teora de Lenguajes: Teoras de
Matemtica Discreta y Lgica Matemtica
Un poco de historia
Paralelamente se construyeron mquinas que

interpretaran estos lenguajes y los tradujeran a
lenguaje mquina.
Este es un de los AVANCES ms importantes en la
computacin
Elementos de la teora de
lenguajes
Los lenguajes estn presentes cuando se necesita:
Comunicacin entre agentes
Codificacin de informacin
Elementos bsicos de la teora de lenguajes:
Un lenguaje
Una mquina para leer y analizar el lenguaje
Correspondencia entre
mquinas y lenguajes
LENGUAJES
Lenguajes de
alto nivel
LCL, Lenguajes
de Contexto
Libre
Lenguajes de
bajo nivel LR,
Lenguajes
regulares
MQUINAS
(Compiladores)
Mquinas de
Turing
APD,
Autmata
Push Down
AFD, Autmata
finito
determinstico
PROPSITOS
(Lenguaje
mquina)
Qu es un lenguaje?
Todo lenguaje posee dos dimensiones
Sintaxis
Semntica
Alfabetos
Alfabeto
Normalmente identificado por
Conjunto finito y no vaco de smbolos
Por lo general se representan por letras
minsculas
Ej. alfabetos: abecedario, alfabeto binario
Cuerdas
Cuerdas
Dado un alfabeto , una cuerda se define
como una secuencia de letras sobre el
alfabeto
Su representacin usual son las ltimas
letras del abecedario: v, w, x, y, z
Conocidas
tambin
como
palabras,
oraciones, strings
Se postula la existencia de la cuerda nula
Cuerdas
Dado un alfabeto , se definen dos conjuntos
de cuerdas:
El conjunto clausura de Kleene, *
* = Universo de cuerdas o todas las cuerdas
de longitud arbitraria
* incluye la cuerda nula
Y el conjunto + = * - { }
Operaciones con cuerdas
Concatenacin
La concatenacin de dos o ms cuerdas se define como la

cuerda formada yuxtaponindolas, en orden indicado.
Puede considerarse como una operacin binaria sobre *,

asociativa, no conmutativa y con elemento neutro la cuerda
nula
Lo anterior constituye un semi-grupo tambin llamado

monoide.
Ejemplo: Concatenacin
Si w = a1a2an; y v = b1b2bm
wv sera: a1a2anb1b2bm,
mientras que vw sera: b1b2bma1a2an
No es conmutativa - S es asociativa
Para toda cuerda w: w = w = w
Imagen inversa
La imagen inversa de una cuerda w, wR se
define como:
w *, a
R =
(wa)R = awR
caso base
caso recursivo
Ejemplo: Imagen inversa

Supongan la cuerda w = abca, su imagen
inversa wR segn la definicin recursiva sera:

wR

wR = (abca)R

wR = (abca)R = a(abc)R

= ac(ab)R

= ac(ab)R
= acb(a)R

= ac(ab)R
= acb(a)R
= acba()R

= ac(ab)R
= acb(a)R
= acba()R
= acba

= ac(ab)R
= acb(a)R
= acba()R
= acba
wR = acba
Longitud o largo de una cuerda

Denotado por |w| y es el nmero de letras
que w contiene.
Se define recursivamente:
w *, a
|| = 0
|aw| = |w| +1
caso base
caso recursivo
Ejemplo: Longitud de una cuerda

Supongan la cuerda w = abca, calculemos su
largo, |w|, mediante la definicin recursiva.
|w| = |abca| = |bca| + 1

|w| = |abca| = |bca| + 1
= |ca| + 1 + 1

|w| = |abca| = |bca| + 1
= |ca| + 1 + 1
= |a| + 2 + 1

|w| = |abca| = |bca| + 1
= |ca| + 1 + 1
= |a| + 2 + 1
= || + 3 + 1

|w| = |abca| = |bca| + 1
= |ca| + 1 + 1
= |a| + 2 + 1
= || + 3 + 1
=4+0=4
Palndromos
Son cuerdas que se leen igual hacia adelante como hacia

atrs, es decir:
R = w
,
w
es
palndromo
ssi
w
w *
Existen palndromos de longitud par e impar
Ejemplos de palndromos
Considere el alfabeto = {a,b} y la cuerda

w = aabbaa
wR = (aabbaa)R = aabbaa = w
La cuerda nula tambin es un palndromo
RADAR construida sobre el abecedario tambin es un

palndromo
Potencia
Definicin recursiva:
w *
w0 =
wn+1 = wnw
caso base
caso recursivo
Ejemplo: Potencia
Suponga la cuerda w = acb, calculemos algunas potencias.
w0 =
Ejemplo: Potencia
Suponga la cuerda w = acb, calculemos
algunas potencias.
w0 =
w1 = acb
Ejemplo: Potencia
algunas potencias.
w0 =
w1 = acb
w2 = acbacb
Ejemplo: Potencia
algunas potencias.
w0 =
w1 = acb
w2 = acbacb
w3 = acbacbacb
Prefijos
Sea w = abcba, veamos algunos ejemplos de
prefijos de w
a
ab
abc
abcb
w

Prefijos propios
prefijos de w
a
ab
abc
abcb
Sufijos
sufijos de w.
a
ba
cba
bcba
abcba
Sufijos propios
sufijos propios de w.
a
ba
cba
bcba
Subcuerda
subcuerdas de w.
abc
(subcuerda propia)
bcb
(subcuerda propia)
bcba
(subcuerda propia)
(no
es
subcuerda
propia)
w
(no es subcuerda propia)
Subsecuencia
Sea w = a1b2cb4a5 algunas subsecuencias de w:
cb4
a1b4
a1a5
b2a5
Lenguajes
Definicin Formal de un Lenguaje
Un lenguaje es un subconjunto de la clausura de

Kleene *
Ejemplo de lenguajes
el conjunto vaco es un lenguaje del alfabeto

*, la clausura de Kleene es un lenguaje
, el alfabeto mismo es tambin un lenguaje

{ } es un lenguaje cuyo nico elemento es la
cuerda nula
Caractersticas
Los lenguajes pueden ser finitos o infinitos
Pueden definirse en forma enumerativa, descriptiva o

mediante mtodos que se explicarn ms adelante
Ejemplos
Si ={a, b}, entonces:

L = {aba, bbbaaa, aaa} es un lenguaje finito
definido en forma enumerativa
L = {anbn; donde n es un nmero natural} es
un lenguaje infinito definido en forma
descriptiva
L = {w * tal que |w| = 5}, es el lenguaje de
todas las cuerdas cuya longitud es 5
Unin entre lenguajes
L U M (tambin denotado por L+M), es el

lenguaje
formado
por
cuerdas
que
pertenecen al lenguaje L o bien al lenguaje
M
Ejemplo de Unin entre lenguajes

Si L={A, B, C, , Z, a, b, c, , z} y D={0,1,,9}
L+D es el conjunto de palabras de longitud 1
(letras o dgitos) como:
A, z, C, b, 9, 8
Notacin
En notacin de conjuntos:
L M w * | w L w M
Concatenacin entre lenguajes
Escrita por LM, es el lenguaje constituido por

cuerdas que se forman concatenando una
cuerda del lenguaje L con una cuerda del
lenguaje M (en ese orden)
Ejemplo de concatenacin entre

lenguajes
Si L={A, B, C, , Z, a, b, c, , z} y D={0,1,,9}
LD es el conjunto de cuerdas que consisten
en un letra seguida de un dgito. Ejs:
A1, B9, Z3, z9, b5
Notacin
LM w | x L y M w xy
*
Potencia de un lenguaje
Si n es un nmero natural, Ln es el lenguaje

formado por L concatenado consigo mismo n
veces
Si n es cero, Ln = {}
Ejemplo de potencia de un lenguaje
Si L={A, B, C, , Z, a, b, c, , z} y D={0,1,,9}
L4 es el conjunto de palabras que contienen
exactamente cuatro letras. Ejs:
AazZ, aaaa, Czwb, Hola
Notacin
Ln w * | w1 , w2, ..., wn L wn w1w2 ...wn
Ejemplo de Clausura de Kleene de

un lenguaje
Si L={A, B, C, , Z, a, b, c, , z}
L* es el conjunto de todas las palabras de

longitud arbitraria formadas nicamente por
letras, incluyendo tambin la cuerda nula. Ejs:
, A, a, z, da, zz, AKD, EIEIEIEI
Clausura de Klenee de un
lenguaje
Se denota por L*
L* Li
i 0
Clausura positiva de un lenguaje
La clausura positiva L* se define como la

clausura de Kleene anterior, pero excluyendo la
cuerda nula
L L*
Otros ejemplos
Si L={A, B, C, , Z, a, b, c, , z} y D={0,1,,9}
L(L+D)* es el conjunto de palabras que
empiezan con una letra seguida de cero o ms
letras o dgitos. Ejs:
A, z, AbdZ45, Dw383, t99595
D+ es el conjunto de palabras con uno o ms
dgitos. Ejs:
0, 1000, 494949
EJERCICIOS
Ejercicio 1
Utilizando
el
PIM
demuestre
que:
El nmero de subsecuencias de una cuerda w

de longitud n es 2n.
Ejercicio 2
Si L={A, B, C, , Z, a, b, c, , z} y D={0,1,,9}
Determine si las siguientes cuerdas pertenecen a (L*D*
LD)+
a123aab
3159abdd
Ejercicio 3, parte I
Dado el alfabeto = {a, b}, una cuerda de Finobacci se

define recursivamente como:
f1 = a;
f2 = b
fn = fn-1fn-2, para todo natural n3
Dada la definicin anterior:
Liste las 9 primeras cuerdas Fibonacci
Ejercicio 3, parte II
La longitud de las cuerdas de Fibonacci tienen relacin

directa con los nmeros de Fibonacci, de la siguiente
manera:
fn= Fn
siendo Fn el ensimo nmero de Fibonacci.
Demuestre esta afirmacin utilizando el PIM.
Ejercicio 4
Usando el PIM demuestre que:

|wn| = n|w|
Para toda cuerda w y para todo nmero natural n
Ejercicio 5
Demuestre por Induccin Matemtica que:

w, x*, wx=w+x

Temas de Examen Parcial Informatica III

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Temas de Examen Parcial Informatica III

Uploaded by

Copyright:

Available Formats

Induccin y recursin

Matemtica discreta vs Matemtica continua.

Matemtica Discreta versus Matemtica Continua

Algunos temas que abarca la matemtica discreta:

Continuidad y lmites de funciones.

Herramientas para el curso

Principio de Induccin Matemtica (PIM).

Principio de Induccin Matemtica (PIM)

Ilustracin intuitiva sobre el PIM

De qu color es la bola en cada

Principio de induccin matemtica

Una afirmacin de tipo inductivo.

Por lo tanto la frmula se cumple para el caso base, cuando

Ahora debemos demostrar que la frmula anterior conserva el

Explicacin: Propiedad de las sumatorias

Explicacin: Por hiptesis inductiva.

Explicacin: Ahora desarrollemos el trmino

Definicin recursiva de factorial

Explicacin: Continuamos aplicando el caso

Explicacin: Ahora aplicamos el caso base.

Explicacin: Ahora aplicamos el caso base.

Ejemplo: Nmeros de Fibonacci

-> Base, parte 1

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Explicacin: Por hiptesis inductivas

Ejemplo: Nmeros de Fibonacci

Explicacin: Por comn denominador.

Ejemplo: Nmeros de Fibonacci

Explicacin: Reordenando y agrupando.

Ejemplo: Nmeros de Fibonacci

Explicacin: Por factorizacin.

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Ejemplo: Nmeros de Fibonacci

Explicacin: Por resultados anteriores

Ejemplo: Nmeros de Fibonacci

Explicacin: Por suma de exponentes

Ejemplo: Nmeros de Fibonacci

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman

Ejemplo: Funcin de Ackerman