Tema 3 - OCW

Metodología y Tecnología de la 

Programación 

Temario 

Curso 2008/09 

Tema 3. Elementos Básicos de la 

Programación Imperativa 

Tema 3. Elementos Básicos de la Programación Imperativa 

3.1 Identificadores, Constantes, Variables, Expresiones 

3.2 Tipos de Datos Simples: Natural, Entero, Real, Carácter, Booleano 

3.3 Tipos de Datos Estructurados: Enumerado, Subrango, Registro, Vector, 

String, Matriz, Secuencia, Fichero 

3.4 Estructura Secuencial 

3.5 Estructuras de Control de Flujo: Programación Estructurada 

3.6 Procedimientos y Funciones 

3.7 Paso de Parámetros 

3.8 Ámbito y Extensión 

3.9 Gestión de Memoria 

3.10 Entrada/Salida 

Metodología y Tecnología de la Programación 


2 

1

Introducción 

• PROGRAMACIÓN IMPERATIVA 

• Programa: lista de instrucciones 

u órdenes elementales que han 

de ejecutarse una tras otra en el 

mismo orden 

• Modelo de máquina de von Neumann: 

– Procesador (elemento de control) 

– Memoria (almacenamiento: instrucciones y datos) 


















3 

4 

2



Pascal 

Modula-2 

Java 

Lenguaje de Especificación de 

Algoritmos en Pseudocódigo 

Basic 

EAP 



3.1 Identificadores, Constantes, Variables, 

Expresiones 

3.1.1 Identificadores 

Un identificador es un nombre que se le da a un objeto en una especificación. El nombre 

puede ser simbólico (símbolos especiales predefinidos en el lenguaje, por ejemplo +) o 

alfanumérico (formado por letras y dígitos) y éste a su vez puede ser predefinido por el 

lenguaje (por ejemplo DIV), o definido por el usuario, debiendo comenzar siempre por una 

letra. 

Ejemplo 3.1 Identificadores válidos y no válidos 

Identificadores válidos: nombre, DIV, año2002, AsignaturasMatriculadas 

Identificadores no válidos: 4curso, ?comprobado, 2002, Dia del Mes 

Podemos definir un identificador como la terna I = < N, T, V >, donde N es el nombre del 

identificador, T su tipo de dato, y V el valor que tiene. 

Ejemplo 3.2 Identificador expresado por medio de su terna 

I = < X, Entero, 7 > es el identificador X, de tipo Entero, con el valor 7 



C 

5 

6 

3


Expresiones 

3.1.2 Constantes 

Una constante es un caso especial de identificador cuyo valor no varía, es decir, es un 

literal. La sintaxis de declaración de constante es: 

Constantes 

∈ ← 

Ejemplo 3.3 Declaración y asignación del valor 2002 a la constante del año actual 

Constantes 

añoActual ∈ Entero ← 2002 

Podemos adelantar que una constante pertenecerá a un cierto de tipo de dato concreto, en 

particular, a aquel que lo represente de manera total usando la menor especificación posible 

de tipo de dato por parte del lenguaje de programación empleado a no ser que se establezca 

otro de manera explícita. 




Expresiones 

3.1.3 Variables (I) 

El concepto de variable está directamente asociado a la memoria del computador. Una 

variable es un caso especial de identificador cuyo valor puede variar. 

Es decir, representará un valor almacenado en memoria que se puede modificar en cualquier 

momento (y que será el nuevo valor que estará almacenado en ella a partir de ese momento) 

o conservar para ser usado tantas veces como se desee. La sintaxis de declaración de variable 

es: 

Variables 

∈ 

El tipo de dato asociado a una variable limita el conjunto de datos que puede almacenar así 

como las operaciones aplicables sobre esa variable. Así, una variable que pertenece a un tipo 

de dato ENTERO no podrá almacenar datos de tipo REAL ni le sería aplicable una operación 

conducente a calcular cuál es su parte decimal. 

Todas las variables han de ser declaradas en el programa antes de ser utilizadas. Varias 

variables de un mismo tipo pueden ser declaradas en la misma instrucción de declaración. 



7 

8 

4


Expresiones 

3.1.3 Variables (II) 

Ejemplo 3.4 Declaración de variables y sus tipos de datos asociados 

Variables 

edad ∈ ENTERO 

altura, anchura, profundidad ∈ REAL 

Asimismo, toda variable ha de ser inicializada antes de poder hacer uso de ella, lo que 

significa darle un cierto valor por primera vez. Esto es necesario, por ejemplo, cuando una 

variable aparece como operando en la parte derecha de una expresión de asignación. 

Ejemplo 3.5 Declaración e Inicialización de variables (con errores) 

Constantes 

Pi ∈ REAL ← 3.14 

Variables 

radio ∈ NATURAL 

Acciones 

area ← Pi * radio 2 




Expresiones 

3.1.4 Expresiones (I) 

Una expresión es cualquier combinación válida de operandos y operadores permitidos en el 

lenguaje. La situación típica de aparición de expresiones será en la sentencia de asignación. 

Su sintaxis es: 

Acciones 

← 

Ejemplo 3.6 Sentencia de asignación de una expresión a una variable 

Acciones 

Resultado ← 34 * 6 + 13 / 7 



9 

10 

5


Expresiones 

3.1.4 Expresiones (II) 

Un caso especial de asignación será aquel en el que aparece la misma variable tanto en la 

parte izquierda como en la parte derecha de una sentencia de asignación. La sentencia no ha 

de ser tomada como una ecuación matemática al uso, sino que, la parte derecha, donde la 

variable (NumDias) aparece como operando, ha de ser evaluada en primer lugar y, una vez 

hallado su valor, éste se asignará a la posición de memoria que representa la variable que 

aparece también en la parte izquierda de la misma: 

NumDias ← NumDias + 31 

Es importante que a la hora de evaluar expresiones nos fijemos en la compatibilidad de los 

tipos de datos que aparecen en la misma. Esta compatibilidad nos dice, de manera general, 

que sólo pueden ser operadas entre sí variables pertenecientes a un mismo tipo de dato. Así 

la expresión siguiente (recordar ejemplo 3.5) sufre incompatibilidad de tipos : 

area ← Pi * radio 2 


















11 

12 

6

3.2 Tipos de Datos Simples: Natural, Entero, 

Real, Carácter, Booleano 

Introducción (I) 

Los algoritmos que vamos a ver a lo largo del curso manipulan valores que pertenecen a un 

conjunto o clase de valores identificados mediante lo que se llama un tipo de dato. Por tanto, 

un tipo de dato es la explicitación de un conjunto de valores, denominado dominio, sobre el 

cual se pueden realizar un conjunto de operaciones. 

Ejemplo 3.7 Tipo de Dato 

El tipo de dato edad podría estar representado por los valores pertenecientes a un 

subconjunto de los valores de tipo natural. Las operaciones aplicables sobre edad podrían ser 

las de MOSTRAR, INCREMENTAR e INTERVALO (entre dos edades), etc. 





Introducción (II) 

Para poder tratar con un tipo de dato es necesario explicitar su dominio y sus operaciones 

aplicables. En el caso de que el dominio sea pequeño podemos definirlo por extensión 

(enumeración), en caso contrario lo definiremos por comprensión (las propiedades del 

conjunto de valores del dominio). 

Ejemplo 3.8 Tipo de Dato Paleta de Colores 

El dominio del tipo de dato PaletaColores puede estar definido por el conjunto {blanco, 

amarillo, naranja, rojo, violeta, azul, verde, negro}, que sería por extensión. 

Ejemplo 3.9 Tipo de Dato Secuencia de Caracteres 

El dominio del tipo de dato SecuenciaCaracteres puede estar definido de manera recursiva 

como: 

::= ⏐ 

::= a ⏐ b ⏐ ... ⏐ z ⏐ A ⏐ B... ⏐ Z 

que sería por comprensión. 



13 

14 

7



Introducción (III) 

En cualquier lenguaje de programación, así como en un lenguaje de especificación de 

algoritmos como es EAP, se parte de un conjunto de tipos de datos predefinidos, a partir de 

los cuales, se pueden crear nuevos tipos de datos. Los tipos de datos predefinidos en el 

lenguaje EAP son: 

Natural 

Entero 

Real 

Carácter 

Booleano 

Todos ellos son de tipo escalar; un tipo de dato escalar es aquel cuyo dominio presenta una 

propiedad de orden, un mínimo y un máximo. 





3.2.1 Tipos Natural y Entero (I) 

El tipo Entero representa el conjunto de los números enteros, incluyendo los límites de 

infinito negativo y positivo: -∞, ..., -1, 0, 1, ..., ∞. El tipo Natural representa el conjunto de 

los enteros positivos: 0, 1, ..., ∞. 

Las operaciones aplicables sobre Entero y Natural son las principales del cálculo aritmético y 

relacional de los números enteros y las podemos clasificar en: 

• Operaciones Unarias. Las operaciones unarias de los enteros son la explicitación de 

signo, sólo aplicable a Entero, el sucesor de un entero (Suc) y su predecesor (Pred). Su 

sintaxis es: 

::= 

::= ⏐ Suc ⏐ Pred 

::= - ⏐ + 



15 

16 

8



3.2.1 Tipos Natural y Entero (II) 

• Operaciones Binarias. Las operaciones binarias aplicables a los enteros 

están agrupadas en aritméticas y relacionales. Las aritméticas son la 

adición (+), substracción (-), multiplicación (*), cociente de la división 

(div) y resto de la división (mod); las relacionales son la igualdad (=), 

desigualdad ( ó ≠), mayor que (>), menor que (= ó ≥) y menor o igual que ( ⏐ < ⏐ >= ⏐



3.2.2 Tipo Real (II) 

• Operaciones Binarias. Las operaciones binarias aplicables a los reales están 

agrupadas en aritméticas y relacionales. Las aritméticas son la adición (+), 

substracción (-), multiplicación (*) y división (/); las relacionales son la 

igualdad (=), desigualdad (), mayor que (>), menor que (=) y menor o igual que ( ⏐ < ⏐ >= ⏐



3.2.3 Tipo Carácter (II) 

. 

Las operaciones aplicables sobre Carácter son: 

• Operaciones Unarias. Son operaciones de transferencia (conversión). Su 

sintaxis es: 

Ord(car). Devuelve el código numérico asignado al carácter. 

Chr(num). Devuelve el carácter asociado el código numérico. 

• Operaciones Binarias. Las operaciones binarias aplicables a los Carácter son 

las operaciones relacionales aplicables a los enteros, previamente obtenidos 

los códigos numéricos de los operandos. 





3.2.4 Tipo Booleano (I) 

El tipo Booleano o Lógico corresponde a los valores del álgebra de Boole, es decir, una 

estructura algebraica del tipo que cumple las leyes conmutativa, de identidad e inversa. En la 

Tabla 3.1 se muestran dichas leyes. A partir de las leyes principales se derivan otras como 

son la asociativa en la intersección y disyunción, la de absorción, dominación, de doble 

complementario y la de De Morgan. 

Conmutativas x ∨ y = y ∨ x 

x ∧ y = y ∧ x 

Distributivas x ∧ ( y ∨ z) 

= ( x ∧ y) 

∨ ( x ∧ z) 

x ∨ ( y ∧ z) 

= ( x ∨ y) 

∧ ( x ∨ z) 

de Identidad x ∨ 0 = x 

x ∧1 = x 

Inversas x ∨ ¬ x = 1 

x 

∧ ¬ x = 0 

Tabla 3.1: Propiedades del álgebra de Boole. 



21 

22 

11



3.2.4 Tipo Booleano (II) 

El dominio del tipo Booleano es el conjunto ordenado de las constantes lógicas Verdadero y 

Falso, siendo Min(Lógico)=Falso y Max(Lógico)=Verdadero. Las operaciones aplicables 

sobre Booleano son las mismas del cálculo del álgebra de Boole: 

• Operaciones Unarias. La negación es la única operación unaria aplicable a Booleano. 


::= 

::= ¬ 

• Operaciones Binarias. Las operaciones binarias aplicables a los Booleano son la 

conjunción (∧) y la disyunción (∨). 

::= ⏐ 

 

::= ∧⏐ ∨ 





Ejercicio: Tipos de Datos Simples 

Elegir los tipos de datos adecuados para identificar un producto comercial para el 

cual hay que indicar las siguientes características 

• Año de fabricación 

• Precio en pesetas 

• Precio en euros 

• Indicación de si el producto está agotado 

• Departamento al que pertenece (C: Congelados; T: Textil; F: Ferretería) 

A continuación dar valores iniciales a cada una de dichas características. Para 

conocer el precio en euros habrá que calcularlo necesariamente a partir de su 

precio en pesetas usando el tipo de cambio oficial. 



23 

24 

12






Cadena, Matriz, Secuencia, Fichero 










3.3 Tipos de Datos Estructurados: Enumerado, Subrango, 

Registro, Vector, Cadena, Matriz, Secuencia, Fichero 

Introducción (I) 

Partiendo de los tipos de datos simple y una serie de estructuras se pueden crear nuevos tipos 

de datos, algunos de tipo escalar y otros estructurados. Los tipos de datos estructurados son 

aquellos que se definen mediante composición de tipos de datos simples. 

Para poder llegar a definir tipos de datos estructurados se puede utilizar una definición de 

tipo, que es un identificador que representa un nuevo tipo de dato que posteriormente puede 

particularizarse. Su sintaxis es la siguiente: 

Tipos 

= 

El nombre de tipo es un identificador o un identificador seguido de varias variables de tipo 

(separadas por comas, encerradas en paréntesis). 



25 

26 

13



Introducción (II) 

La definición de tipo más sencilla que podemos encontrar sería la propia redefinición de un tipo 

de dato simple, también conocido como tipo Sinónimo, ya que sencillamente trata de dar un 

nombre distinto a uno ya existente. El nuevo tipo tendrá el mismo conjunto de valores y de 

operaciones aplicables que el tipo original. Su sintaxis es: 

Tipos 

= 

Ejemplo 3.11 Declaración de un tipo Sinónimo 

Tipos 

Edad = Entero 





Introducción (III) 

3.3.1 Tipo Enumerado 

3.3.2 Tipo Subrango 

3.3.3 Tipo Registro 

3.3.4 Tipo Vector 

3.3.5 Tipo Cadena 

3.3.6 Tipo Matriz 

3.3.7 Tipo Secuencia 

3.3.8 Tipo Fichero 



27 

28 

14

3.3 Tipos de Datos Estructurados: Enumerado, Subrango, Registro, 

Vector, Cadena, Matriz, Secuencia, Fichero 

3.3.1 Tipo Enumerado 

El tipo de dato Enumerado es una colección de elementos del mismo tipo en el cual sus 

elementos son constantes, y una variable de este tipo sólo puede tomar en un momento dado 

un valor de entre ellos. Su sintaxis es: 

Tipos 

= ⏐ ... ⏐ 

El tipo de dato Enumerado dispone de orden relativo de sus elementos, pudiéndose utilizar 

sobre ellos las operaciones Suc, Pred y Ord (que obtienen el elemento siguiente, anterior y 

la posición del elemento en la secuencia, respectivamente). 

Ejemplo 3.12 Declaración del tipo Día de la Semana 

Tipos 

DiaSemana = Lunes ⏐ Martes ⏐ Miércoles ⏐ Jueves ⏐ Viernes ⏐ Sábado ⏐ Domingo 





3.3.2 Tipo Subrango 

El tipo de dato Subrango es un caso especial del tipo Sinónimo, pero que limita la 

declaración a un subconjunto de valores del tipo original. El tipo de dato Subrango 

contiene los valores consecutivos de un tipo Enumerado o Entero comprendidos entre su 

valor inferior y el superior, ambos incluidos. Su sintaxis es: 

Tipos 

= .. 

Ejemplo 3.13 Declaración del tipo de dato Dígito 

Tipos 

Dígito = 0..9 



29 

30 

15



3.3.3 Tipo Registro (I) 

El tipo de dato Registro es una colección de un número fijo de componentes que pueden 

ser de distinto tipo en los que cada componente, denominado campo, está representado con 

un identificador y un tipo base. Su sintaxis es: 

Tipos 

= [ ∈ , 

..., 

∈ ] 





3.3.3 Tipo Registro (II) 

Ejemplo 3.14 Declaración del registro Fecha 

Tipos 

Fecha = [Dia ∈ 1..31, 

Mes ∈ 1..12, 

Año ∈ 1900..2100] 

Para acceder a cada campo del registro se utilizará el identificador del tipo seguido de un 

punto y el nombre del campo en cuestión. 

Por ejemplo, para acceder a los diferentes campos del registro Fecha se utilizan las 

notaciones f.Dia, f.Mes y f.Año, respectivamente, donde f es una variable de tipo Fecha. 



31 

32 

16



3.3.4 Tipo Vector 

El tipo de dato Vector permite definir un número fijo de elementos, todos ellos del mismo 

tipo base, a los cuales se accede mediante un índice (el identificador de su posición en la 

secuencia). Su sintaxis es: 

Tipos 

= Vector [] ∈ 

::= ⏐ Entero 

Ejemplo 3.15 Declaración de un vector de las facturaciones de los meses del año 

Tipos 

Facturaciones = Vector [1..12] ∈ Entero 

Para acceder a cada elemento del vector se utilizará el identificador del vector seguido del 

índice del elemento en cuestión entre corchetes. 

Por ejemplo, para acceder al octavo elemento del vector Facturaciones se utiliza la notación 

fac[8] donde fac es una variable de tipo Facturaciones. 





3.3.5 Tipo Cadena (I) 

Un String o Cadena es una clase especial de Vector cuyos elementos que lo componen 

son siempre caracteres. El dominio del tipo de dato Cadena está formado por todas las 

posibles secuencias de caracteres con longitud igual o menor a la longitud del vector de 

caracteres definido. Su sintaxis es: 

Tipos 

= Vector [] ∈ Caracter 


Ejemplo 3.16 Declaración de un string Palabra 

Tipos 

Palabra = Vector [1..20] ∈ Caracter 



33 

34 

17



3.3.5 Tipo Cadena (II) 

El tipo String goza de una serie de operaciones particulares entre las que destacan las 

siguientes: 

• Concatenar(Cadena1,Cadena2). La operación de concatenación, devuelve una cadena 

nueva, formada por todos los elementos de la cadena Cadena1 y los de la cadena Cadena2. 

• SubCadena(Cadena,PosInicial,PosFinal). La operación SubCadena obtiene la cadena 

encerrada entre las posiciones PosInicial y PosFinal. Ejemplo: SubCadena([a b c d e], 0, 2) 

obtiene la subcadena [a b c]. 

• Insertar(Cadena1,Cadena2,PosInicial). La operación de insertar inserta la cadena Cadena2 

en la cadena Cadena1 a partir de la posición PosInicial. Ejemplo: Insertar([a b c d e], [f g], 1) 

obtiene la cadena [a f g b c d e]. 

• Longitud(Cadena). La operación longitud obtiene el número de elementos de la secuencia 

Cadena. Ejemplo: Longitud([a b c d e]) devuelve 5. 





3.3.6 Tipo Matriz 

El tipo de datos Matriz es la versión multidimensional del tipo de dato Vector. Su sintaxis 

es: 

Tipos 

= Matriz [, ..., ] ∈ 


Ejemplo 3.17 Declaración de los estados del juego Tres en Raya 

Tipos 

EstadoCasilla = Cruz ⏐ Círculo ⏐ Vacío 

Tablero = Matriz [1..3, 1..3] ∈ EstadoCasilla 



35 

36 

18



3.3.7 Tipo Secuencia 

Una Secuencia es una lista de elementos donde el orden de los elementos tiene 

importancia. El tipo de dato Secuencia es aquel cuyo dominio es el formado por todas las 

posibles combinaciones que se pueden formar a partir de los elementos que constituyen la 

secuencia. 

Ejemplo: Una secuencia se especifica como una lista de elementos encerrados por un 

paréntesis. Por ejemplo: (a b c d e). [LISP] 

3.3.8 Tipo Fichero 

Los Ficheros son estructuras de datos almacenadas en memoria externa que pueden ser 

manipulados desde un programa, estableciendo una conexión entre dichos ficheros y las 

variables de tipo fichero definidas en el programa. 





Ejercicio: Tipos de Datos Estructurados 

Diseñar los Tipos de Datos adecuados para la siguiente aplicación: 

Se desea tener un registro de la actividad de una Clínica Veterinaria. 

Necesitamos almacenar, para cada mascota que visite la clínica, la 

siguiente información: código, nombre, tipo de animal (doméstico, salvaje, 

exótico) y número de visitas realizadas a la clínica. Se calcula que dicha 

clínica manejará un promedio de unos 100 animales. En ocasiones será 

interesante ordenar esta información de acuerdo a alguna característica 

propia de las mascotas (código o tipo de animal, por ejemplo). 

Realizar además las instrucciones necesarias para: 

- Contabilizar una nueva visita de una mascota 

- Recuperar el nombre de una cierta mascota 

- Recuperar la inicial del nombre de una cierta mascota 



37 

38 

19



Ejercicios: Tipos de Datos Simples y Estructurados 

• Diseñar un Tipo de Dato adecuado para representar los 49 números de la Lotería 

Primitiva con la indicación de si están marcados o no. 

• Diseñar un Tipo de Dato adecuado para representar una colección de Números 

Racionales. A continuación realizar la operación Suma de Racionales. 

• Diseñar el Tipo de Dato HoraActual compuesto de los elementos horas, minutos y 

segundos. Convertir una variable del tipo HoraActual a segundos y viceversa. 

• Diseñar el tablero para competir en red al Juego de los Barcos. 

• Diseñar el Tipo de Dato NumeroBinario y convertir una variable de tipo 

NumeroBinario a Decimal y viceversa. 


















39 

40 

20


Estructuras básicas de la programación imperativa. 

La estructura secuencial es la estructura más sencilla para representar las acciones de un 

algoritmo. Dichas acciones se describen y se ejecutan de forma sucesiva y en el mismo 

orden en el que aparecen. 


Inicio 

Fin 

 

... 

 




Ejemplo 3.18 Estructura secuencial de un programa 

Constantes 

∅ 

Tipos 

∅ 

Variables 

area, base, altura ∈ Real 

Acciones 

base ← 2.5 

altura ← 5.0 

area ← (base * altura) / 2 



41 

42 

21

3.5 Estructuras de Control de Flujo 


La Programación Estructurada es una metodología que fundamentalmente trata 

de construir programas que sean fácilmente comprensibles. Un programa no sólo 

debe funcionar correctamente sino que además debe estar escrito de manera que 

se facilite su comprensión posterior. 

La Programación Estructurada sugiere el uso de tres esquemas generales 

denominados secuencial (visto en el apartado anterior), iterativo y condicional, 

con los cuales se puede llegar a desarrollar de forma comprensible un programa tan 

complicado como sea necesario. 

SECUENCIAL + ITERATIVO + CONDICIONAL 




3.5.1 Estructura de Control Iterativa 

Una estructura iterativa (también denominada bucle) engloba una 

secuencia de acciones que se describen una sola vez, pero que se pueden 

ejecutar varias veces. Las acciones englobadas se llaman CUERPO del 

bucle y cada ejecución del cuerpo se denomina ITERACIÓN. 

Las estructuras iterativas son: 

MIENTRAS REPETIR PARA 

while repeat for 



43 

44 

22


3.5.1.1 Estructura Iterativa Mientras 

Mientras Hacer 

 

Fin Mientras 

3.5.1.3 Estructura Iterativa Para 

3.5.1.2 Estructura Iterativa Repetir 

Repetir 

 

Hasta 

Para ← .. Hacer 

 

Fin Para 




3.5.1.1 Estructura Iterativa Mientras 

n ← 1 

Mientras n ≤ 10 Hacer 

n ← n + 1 

Fin Mientras 

3.5.1.3 Estructura Iterativa Para 

Para i ← 1 .. 10 Hacer 

Imprimir(i) 

Fin Para 

3.5.1.2 Estructura Iterativa Repetir 

n ← 1 

Repetir 

n ← n + 1 

Hasta n ≥ 10 



45 

46 

23


3.5.1 Estructura de Control Iterativa 

condición 

Sí 

cuerpo 

No 

cuerpo 

condición 



No Sí 

Figura 3.1 Estructura Iterativa Mientras Figura 3.2 Estructura Iterativa Repetir 


Ejemplo 3.19 Factorial de un número entero (Numero) mediante la estructura iterativa Para 

Variables 

Numero, Resultado, I ∈ Entero 

Acciones 

Resultado ← 1 

Para I ← 2..Numero Hacer 

Resultado ← Resultado * I 

Fin Para 

Ejemplo 3.20 Factorial de un número entero (Numero) mediante la estructura iterativa Mientras 

Variables 

Numero, Resultado, I ∈ Entero 

Acciones 


I ← 2 

Mientras I ≤ Numero Hacer 

Resultado ← Resultado * I 

I ← I + 1 

Fin Mientras 



47 

48 

24


Ejemplo 3.21 Sumar de los elementos de un vector mediante la estructura iterativa Para 

Tipos 

VectorEnteros = Vector[1..N] ∈ Entero 

Variables 

I ∈ 1..N 

Acciones 


Para I ← 1..N Hacer 

Resultado ← Resultado + V[I] 

Fin Para 

Ejemplo 3.22 Elevar al cuadrado los elementos de un vector mediante la estructura iterativa Para 

Variables 

I ∈ Entero 

Acciones 

Para I ← 1..N Hacer 

Vector[I] ← Vector[I] * Vector[I] 

Fin Para 




3.5.2 Estructura de Control Condicional 

Una estructura condicional (o de selección) consiste en ejecutar una 

acción u otra dependiendo de una determinada condición que se analiza 

a la entrada de la estructura. La condicional es una de las expresiones más 

importantes para el control de un algoritmo. Las dos estructuras de control 

condicional más importantes son Si y Según. 

Las estructuras condicionales son: 

SI SEGÚN 

if case 



49 

50 

25


3.5.2.1 Estructura Condicional Si 

Si Entonces 

 

Sino 

 

Fin Si 

La expresión unicondicional es un caso particular de la (bi)condicional, en la que 

el segundo grupo de acciones es vacío: 

Si Entonces Si Entonces 

⇒ 

Sino Fin Si 

∅ 

Fin Si 




3.5.2.2 Estructura Condicional Según 

Según Hacer 

{ → } 

Sí 

{ → } 

{ → } 

En Otro Caso 

Fin Según Acción A 

condición 



No 

Acción B 

Figura 3.3 Estructura Condicional Si 

51 

52 

26


Ejemplo 3.24 Determinación de los días de un mes mediante la estructura condicional Según 

Variables 

Mes ∈ String 

NumDias ∈ Natural 

Acciones 

Según Mes Hacer 

Febrero → NumDias ← 28 

Abril → NumDias ← 30 

Junio → NumDias ← 30 

Septiembre → NumDias ← 30 

Noviembre → NumDias ← 30 

En Otro Caso 

NumDias ← 31 

Fin Según 


Ejemplo 3.23 Calcular si un número es par 

mediante la estructura condicional Si 

Variables 

Numero ∈ Natural 

Acciones 

Si (Numero Mod 2) = 0 Entonces 

{El número es par} 

Sino 

{El número no es par} 

Fin Si 

















53 

54 

27


• Un PROCEDIMIENTO está formado por un conjunto de sentencias a 

las que se asocia un identificador, y que realizan una acción que se 

reconoce por los cambios que se producen en un conjunto de variables o 

por realizar alguna operación de entrada/salida. 

• Una FUNCIÓN está constituida por un conjunto de sentencias a las que 

se asocia un identificador y cuyo efecto se manifiesta porque producen 

un valor que es asignado al nombre de la función. 




Para realizar su acción, el procedimiento o función puede recibir 

una serie de valores a través de un conjunto de variables parámetros 

que acompañan a su definición. 

Una vez definida una función o procedimiento, podemos usarlo en 

cualquier parte del programa donde necesitemos realizar la acción 

que desarrolla con tan solo invocarlo mediante su nombre. 

Dos posibles formas de entender los Procedimientos y Funciones: 

• Abstracción operacional … 

• Transferencia de control … 



55 

56 

28


• Abstracción operacional: 

El programa le pasa unos valores de entrada y el procedimiento realiza una acción 

que consiste en modificar el estado de ciertas variables o, en el caso de las 

funciones, que consiste en devolver un valor. 

e1 e2 

s1 

Procedimiento 

P 

s2 

... 

... 

en 

sm 

e1 e2 ... 

Función 

F 

Figura 3.5 Procedimientos y Funciones como Abstracciones Operacionales 

Para usarlos solo es necesario conocer qué valores es necesario suministrarle y qué 

variables modifica. Pero no nos interesa cómo hace la operación. 




• Visión de transferencia de control: 

Cuando la ejecución de un programa llega a una sentencia de invocación de un 

procedimiento (o función), el control se transfiere hacia la primera sentencia de 

éste. Cuando el procedimiento llega a su final, el control se transfiere a la 

sentencia que sigue a aquella donde se produjo la invocación. 

Programa PruebaPotencia 

Tipos de Datos 

... 

Variables 

... 

Acciones 

... 

... 

Potencia(3,4) 

... 

Fin 



s 

en 

Procedimiento Potencia (x,y) 

Variables 

... 

Acciones 

... 

... 

Fin 

Figura 3.5 Procedimientos y Funciones como Transferencia de Control 

57 

58 

29


Los PROCEDIMIENTOS y FUNCIONES constan de cuatro elementos básicos: 

1 Identificador. Nombre que sirve para invocarlo desde cualquier parte del programa. Las 

funciones tendrán que ser invocadas desde una expresión ya que devuelven un valor. 

2 Lista de parámetros. Los parámetros son una lista de cero o varias variables que 

permiten la comunicación entre un procedimiento y el programa que lo usa. Cuando son 

declarados se especifica esta lista y cuando son invocados, es necesario que una lista de 

argumentos acompañe al nombre. Se realiza una correspondencia uno a uno entre 

parámetro y argumento, son expresiones del mismo tipo y aparecen en la misma 

posición. 

3 Cuerpo. El cuerpo es el conjunto de sentencias que corresponden a la especificación de 

la operación. En el caso de una función, en el cuerpo tendrá que aparecer, por lo menos 

una vez, el nombre de la función en la parte izquierda de una asignación. Si no sucede 

esto significa que la función no devuelve ningún valor. 

4 Entorno. Es el conjunto de variables externas al procedimiento que son accesibles y 

pueden ser modificadas o simplemente usadas. 




• Cabecera de la especificación de un procedimiento: 

Procedimiento ( ∈ , ..., ∈ ) 

• Cabecera de la especificación de una función: 

Función ( ∈ , ..., ∈ ) → 

Procedimiento Intercambio (↑↓a ∈ Entero, ↑↓b ∈ Entero) 

Variables 

Función Max (a ∈ Entero, b ∈ Entero) → Entero 

temp ∈ Entero 

Variables 

Acciones 

∅ 

temp ← a 

Acciones 

a ← b 

Si a > b Entonces 

b ← temp 

Max ← a 

Sino 

Max ← b 

FinSi 



59 

60 

30


Ejercicios: Procedimientos y Funciones 

• Diseñar una función que calcule el mayor de tres números 

• Diseñar un procedimiento que imprima los elementos impares 

de un vector 

• Diseñar una función ElevaCuadrado que eleve un elemento al 

cuadrado 

• Diseñar un procedimiento que eleve al cuadrado los elementos 

de un vector haciendo uso de la función ElevaCuadrado 


















61 

62 

31


• Los parámetros son variables que permiten la comunicación entre un 

procedimiento o función y el código que lo utiliza, entendiendo por comunicación 

el intercambio en ambas direcciones. 

• Cada parámetro actual (parámetro con que el procedimiento es invocado), o 

argumento, es asociado a uno formal (parámetro con que el procedimiento es 

definido o declarado). 

Programa PruebaPotencia 

Tipos de Datos 

... 

Variables 

... 

Acciones 

... 

... 

Potencia(3,4) 

... 

Fin Parámetro actual 

Procedimiento Potencia (x,y) 

Variables 

... 

Parámetro formal 

Acciones 

... 

... 

Fin 




• Cuando hablamos de paso de parámetros nos referimos a la manera en que los 

valores de los argumentos son ligados a los parámetros del procedimiento. Las 

cuatro formas principales son: 

POR REFERENCIA POR VALOR 

POR VALOR-RESULTADO POR NOMBRE 



63 

64 

32


3.7.1 Paso por Valor 

En el paso de parámetro modo por valor (o paso por valor, representado en EAP 

como ↓), en el momento de la invocación del procedimiento o función se evalúa el 

argumento y el valor obtenido se asigna al espacio de memoria ligado al 

correspondiente parámetro. El procedimiento o función maneja el parámetro y los 

cambios realizados no son reconocidos fuera del ámbito local. 

Variables 

A ∈ Entero 

Procedimiento Test1(↓B ∈ Entero) 

Constantes 

∅ 

Variables 

∅ 

Acciones 

B ← B * B 

Inicio 

A ← 2 

Test1(A) 

Fin 




3.7.2 Paso por Referencia 

• Los parámetros son sólo de entrada 

• Cualquier cambio realizado en los 

valores de los parámetros formales 

durante la ejecución del 

subprograma se destruye cuando se 

termina el subprograma 

El modo por referencia (representado en EAP como ↓↑), también conocido como 

paso por variable, cada parámetro comparte el espacio de memoria con su 

correspondiente argumento. De esta manera los cambios realizados en el código 

son asignados a la variable. 

Variables 

A ∈ Entero 

Procedimiento Test2(↓↑B ∈ Entero) 

Constantes 

∅ 

Variables 

∅ 

Acciones 

B ← B * B 

Inicio 

A ← 2 

Test2(A) 

Fin 

• Se produce un ahorro de memoria, 

ya que los parámetros no necesitan 

memoria adicional, sino que utiliza 

la asignada a los argumentos 

• Los argumentos deben ser variables 

y no pueden ser expresiones 



65 

66 

33


• Ejemplo 3.32 Disponemos de la siguiente definición: 

Programa Ejemplo 

Variables 

i ∈ Entero 

a ∈ Vector [1..3] ∈ Entero 

Procedimiento Test (f, g ∈ Entero) 

Acciones 

g ← g+1 

f ← 5*i 

Acciones 

Para i ← 1 ..3 Hacer 

a[i] ← i 

Fin Para 

i ← 2 

Test(a[i],i) 

Escribir(a[1],a[2],a[3],i) 


Lo que escribe la sentencia Escribir suponiendo cada 

tipo de paso de parámetro es: 

• Por valor: 1 2 3 2 

• Por referencia: 1 15 3 3 

• Por valor-resultado: 1 10 3 3 

• Por nombre: 1 2 15 3 

















67 

68 

34


• Los identificadores que utilizamos en los programas y sus subprogramas 

(procedimientos y funciones) se clasifican en dos tipos: 

• identificadores locales 

• identificadores globales 

• Un identificador local es aquel que está declarado y definido dentro de un 

subprograma, en el sentido de que está dentro de ese subprograma y es distinto de 

los identificadores con el mismo nombre declarados en cualquier parte del 

programa principal u otro subprograma. Se dice que tales identificadores son 

locales al subprograma en el que están declarados. 

• Un identificador global es aquel que está declarado para el programa o algoritmo 

principal, del que dependen todos los subprogramas. 

• La parte de programa/algoritmo en la que un identificador se define se conoce 

como ámbito. 




• El uso de variables locales tiene muchas 

ventajas. En particular, hace a los 

subprogramas independientes, con la 

comunicación entre el programa 

principal y los subprogramas 

manipulados estructuralmente a través de 

la lista de parámetros del subprograma. 

• Para utilizar un procedimiento sólo 

necesitamos conocer lo que hace y no 

tenemos que estar preocupados de su 

diseño, es decir, de cómo está 

programado. 

• Por el contrario, las variables globales 

tienen la ventaja de compartir 

información de diferentes subprogramas 

sin una correspondiente entrada en la 

lista de parámetros. 

Programa demo 

Tipos 

x1 = … 

x2 = … 

Procedimiento A 

Tipos 

y1 = … 

y2 = … 

Procedimiento B 

Tipos 

z1 = … 

z2 = … 

Acciones 

… 

Acciones 

… 

Procedimiento C 

Variables 

w1 ∈ … 

w2 ∈ … 

Acciones 

… 

Acciones 

… 



69 

70 

35


• El ámbito de un identificador es la parte de programa dónde se conoce el 

identificador. Si un procedimiento está definido localmente a otro procedimiento, 

tendrá significado sólo dentro del ámbito de ese procedimiento. 

A 

B 

D E 

C 

F 

G 


Programa demos 

Variables 

a, x, y ∈ Entero 

Función f(n ∈ Entero) → Entero 

Variables 

x ∈ Entero 

Acciones 

a ← 5 

x ← 12 

f ← n+a 

Acciones 

x ← 5 

a ← 10 

y ← f(x) 

Escribir(x,a,y) 

Variables Accesibles 

definidas en desde 

A A,B,C,D,E,F,G 

B B,C 

C C 

D D,E,F,G 

E E,F,G 

F F 

G G 



• Los identificadores definidos en 

un ámbito son accesibles en el 

mismo, es decir, en todos los 

procedimientos interiores. 

• A la variable global a se puede 

acceder desde el programa y 

desde la función. Sin embargo, x 

identifica a dos variables 

distintas: una global al programa 

accesible desde todo él y otra 

local a la función. 

• Se escribirá la línea: 

5 5 10 



71 

72 

36


• La extensión de una variable es el intervalo de tiempo durante el cual la variable 

existe, ocupa almacenamiento y es accesible. 

• Una variable puede existir fuera del ámbito de su declaración. En el caso del 

siguiente ejemplo la extensión de x p es el tiempo que dura la ejecución del 

programa P. Mientras que la extensión de v y x a es el intervalo de tiempo en que se 

ejecuta el procedimiento A. 

Programa P 

Variables 

x ∈ Vector [1..5] ∈ Real 

Acciones 

... 

A 

... 


Procedimiento A 

Variables 

v, x ∈ Entero 

Acciones 

... 



• En general, se define la siguiente regla para decidir cuál es el ámbito de 

una declaración en un lenguaje estructurado: 

“El ámbito de una declaración de un identificador es todo el bloque en 

el que está definido, incluyendo aquellos bloques contenidos en ese 

bloque, excepto si el identificador es redefinido en el bloque 

subordinado o anidado, entendiendo bloque como la unidad de 

programa dónde se puede definir objetos locales que solo tienen 

significado dentro de ese texto.” 

• Normalmente, en la mayoría de lenguajes imperativos el bloque es el 

procedimiento o función. 



73 

74 

37


Ejercicio Paso Por Valor/Referencia y Ámbito: Calcular los valores finales de i, j, k, l suponiendo que 

los parámetros del procedimiento Test son: a) pasados en modo por valor; b) pasados en modo por 

referencia. 

Variables 

i, j, k, l ∈ Entero 

Procedimiento Test (m, n ∈ Entero) 

Variables 

l ∈ Entero 

Acciones 

m ← m + 2 

n ← n - 2 

k ← n - m 

l ← m + n + j + k 

Acciones 

i ← 4 

j ← i * 3 

k ← j - 1 

l ← k + 2 

Test (i, j) 


















75 

76 

38


• La memoria se organiza en dos zonas. Una 

corresponde al código del programa y la otra a los 

datos. Ésta a su vez está dividida en tres zonas: 

1. Estática: Área de memoria cuyas posiciones son 

asignadas a las variables globales del programa. 

2. Pila (stack): Empleada para gestionar el uso de 

los procedimientos. 

3. Montón (heap): Área de memoria cuyas 

posiciones son asignadas a las variables 

dinámicas. 




3.9.1 Administración de Memoria Estática 



C Ó D I G O 

D 

A 

T 

O 

S 

Memoria 

Estática 

Pila 

(Stack) 

Montón 

(Heap) 

• Cuando a una variable, al comenzar la ejecución del programa se le asigna espacio 

de almacenamiento y mientras dura la ejecución dicho espacio está ligado a esa 

variable, decimos que se trata de una variable estática. 

• En ciertos lenguajes de programación (Fortran o Cobol, por ejemplo) todas las 

variables que intervienen en el programa son estáticas, de manera que durante la 

ejecución del programa coexistirán en memoria las variables globales junto con las 

variables y datos de los procedimientos y funciones del programa. 

• En los lenguajes de programación imperativos las variables globales son estáticas, 

es decir, su extensión es la duración del programa que las declara. Pero cada 

procedimiento no tiene su propia área de datos, sino que existe la administración 

con pila propia de los lenguajes estructurados en bloques (los procedimientos y 

funciones). 

77 

78 

39


3.9.2 Administración de Memoria basada en Pila 

• Por pila nos vamos a referir a la zona de la memoria 

que está implicada en el uso de los procedimientos, 

cuyo espacio se asigna y libera, como veremos, 

mediante operaciones de apilar y desapilar (push y 

pop). 

• Cada vez que se activa un bloque, es decir, se invoca un procedimiento o función, se 

añade a la pila su registro de activación (RA) y cuando acaba su ejecución, se elimina 

de la pila su RA. 

• Por RA entendemos el conjunto de información que necesita un procedimiento para 

su ejecución (objetos locales y parámetros) y la dirección de la instrucción donde 

continuará la ejecución del programa cuando finalice el procedimiento o función. 




3.9.2 Administración de Memoria basada en Pila 

• Luego una llamada a un procedimiento P implica: 

1. Crear su RA 

2. Apilar su RA 

3. Transferir el control a la primera sentencia de P 

…y la terminación de P implica: 

1 Recuperar dirección de retorno (dir_ret) del RA. 

2 Desapilar su RA 

3 Transferir el control a dir_ret 

parám var_loc 



Apilar Desapilar 

dir_ret 

79 

80 

40


Ejemplo: evolución de la pila durante la 

ejecución de un programa 

parám var_loc dir_ret 

RA(Sub1) = a d 

RA(Sub2) = c d 

Procedimientos 

Recursivos 



Programa M 

Variables 

a, b, c ∈ Real 

Procedimiento Sub1 (↓a∈Real) 

Variables 

d ∈Real 

Procedimiento Sub2 (↓c∈Real) 

Variables 

d∈Real 

Acciones 

c←c+b 

Acciones 

Sub2(b) 

 

Acciones 

Sub1(a) 

 

Pila Vacía → RA(Sub1) → 

RA(Sub2) 

RA(Sub1) → RA(Sub1) → Pila Vacía 


3.9.1 Administración de la Memoria Montón 

• En algunos lenguajes se incluyen variables dinámicas, que pueden ser creadas y 

destruidas en cualquier momento durante la ejecución del programa. Esto quiere 

decir que se le asigna almacenamiento cuando surge la necesidad de usar esa 

variable, y además, se puede liberar ese almacenamiento cuando ya no sea 

necesario el uso de la variable. 

• Un montón es un segmento de memoria que es 

utilizado como un almacén de palabras de memoria de 

dónde se le asigna espacio de almacenamiento a las 

variables dinámicas. 

• El estado del montón en un determinado momento de 

la ejecución está constituido por un conjunto de áreas 

asignadas con bloques libres o huecos entre ellas: 



Libre 

Libre 

Libre 

Libre 

81 

82 

41















• 2 operaciones básicas 



• Leer (fichero, lista de variables de entrada) 

• Escribir (fichero, lista de variables de salida) 

donde 

• lista de variables de entrada/salida: donde se almacenará los valores leídos (operación 

de lectura) o se escribirán en el dispositivo de salida (operación de escritura). 

• fichero: Es la variable de tipo fichero asociada al dispositivo 

• Entrada estándar / Salida estándar 

• Los dispositivos de entrada/salida suelen ser mucho más lentos que el procesador: 

las lecturas y escrituras de información se hacen por bloques 

cada línea se almacena en un buffer de entrada o de salida, de modo que las operaciones 

de lectura y escritura se realizarán sobre los buffers asociados a los ficheros 

correspondientes. 



83 

84 

42

Tema 3 - OCW

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?