fundamentos de programacion

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Fundamentos de Lenguajes de Programaci´n
o
Relaci´n entre Inducci´n y Programaci´n
o
o
o

Carlos Alberto Ram´ Restrepo
ırez
Programa Acad´mico Ingenier´ de Sistemas
e
ıa
Universidad del Valle, Cali, Colombia
Escuela de Ingenier´ de Sistemas y Computaci´n,
ıa
o
home page:http://eisc.univalle.edu.co/
carlos.a.ramirez@correounivalle.edu.co

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Contenido

1

Definici´n recursiva de datos
o
Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

2

Especificaci´nrecursiva de programas
o

3

Alcance y ligadura de una variable

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Contenido

1

Definici´n recursiva de datos
o
Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

2

Especificaci´n recursivade programas
o

3

Alcance y ligadura de una variable

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Contenido

1

Definici´n recursiva de datos
o
Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

2

Especificaci´n recursiva deprogramas
o

3

Alcance y ligadura de una variable

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

Contenido

1

Definici´n recursiva de datos
o
Especificaci´n Inductiva
o
Especificaci´nmediante gram´ticas
o
a

2

Especificaci´n recursiva de programas
o

3

Alcance y ligadura de una variable

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

Definici´n recursiva de datoso

Cuando se escribe un procedimiento, se debe definir que clase
de valores se espera como entrada y como salida.
Ej: La funci´n factorial se aplica a n´meros naturales y
o
u
devuelve n´meros naturales.
u
Los datos en las funciones recursivas, pueden tener tambi´n
e
definiciones recursivas que faciliten la programaci´n.
o
T´cnicas para definir datos recursivamente: Especificaci´n
e
oinductiva y Espeificaci´n mediante gram´ticas.
o
a

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Especificaci´n Inductiva
o
Especificaci´n mediante gram´ticas
o
a

Especificaci´n Inductiva
o

Se define un conjunto S, el cual es el conjunto m´s peque˜o quea
n
satisface las siguientes dos propiedades:
1

Algunos valores espec´
ıficos que deben estar en S.

2

Si algunos valores est´n en S, entonces otros valores tambi´n
a
e
est´n en S.
a

Carlos Ram´
ırez

Fundamentos de Lenguajes de Programaci´n
o

Definici´n recursiva de datos
o
Especificaci´n recursiva de programas
o
Alcance y ligadura de una variable

Especificaci´nInductiva
o
Especificaci´n mediante gram´ticas
o
a

Especificaci´n Inductiva
o
Ejemplos
M´ltiplos de 3:
u
1

Si n = 0, n es m´ltiplo de 3.
u

2

Si n es m´ltiplo de 3, entonces n + 3 tambi´n es m´ltiplo de 3.
u
e
u

Listas de n´meros:
u
1

( ) es una lista de n´meros.
u

2

Si n es un n´mero y l es una lista de n´meros, entonces (cons
u
u
n l) es una lista de...