capitulo 4

UNSL – Departamento de Informática Lenguaje de Diseño de Algoritmos

CAPITULO IV
LENGUAJE DE DISEÑO DE ALGORITMOS
SUBALGORITMOS

4.1. INTRODUCCION
En capítulos anteriores hemos enfatizado la ventaja de usar un enfoque modular para el
diseño de algoritmos.
Un módulo es un subalgoritmo lógicamente coherente y autocontenido que puede
formar parte de un algoritmo de mayor envergadura.
Porlógicamente coherente queremos significar que contiene un conjunto determinado
de acciones que conducen a la solución de una tarea específica, relativamente simple;
mientras que autocontenido significa que es independiente de cualquier otro problema
y de sus soluciones.
Los subalgoritmos son una facilidad del lenguaje de diseño (y de los lenguajes de
programación) que permiten que determinados conjuntos deacciones puedan ser
provistos en una forma modular, a un número arbitrario de diseñadores de algoritmos.
La característica de este conjunto de acciones es que realizan tareas comunes que
pueden utilizarse para resolver distintos tipos de problemas o bien, dentro de un mismo
problema, con distintos datos.
Estos subalgoritmos se escriben una vez y, luego, son usados por todos aquéllos que
requierande ellos. Por ejemplo: ordenar datos en orden ascendente/descendente, como
así también las funciones primitivas, definidas en el capítulo anterior (raíz cuadrada,
módulo, etc.).
Lo expresado puede verse gráficamente:

A

M

N

O

P

Q

54

B

UNSL – Departamento de Informática Lenguaje de Diseño de Algoritmos

En esta figura los subalgoritmos M, N, P, O y Q han sido escritos una vez y sonusados
indistintamente por A y B, o entre ellos.
4.2 DEFINICION DE SUBALGORITMOS
Los subalgoritmos se definen por medio de una declaración que especifica el nombre
del subalgoritmo, los argumentos o parámetros, las declaraciones de sus propias
variables y la secuencia de acciones.
Como ejemplo, vamos a definir un subalgoritmo para calcular el factorial de un número
entero positivo.
SUBALGORITMO“FACTORIAL” (in N: entero, out FAC: entero)
COMENZAR
I: entero
FAC ← 1
I←1
MIENTRAS I <= N HACER
FAC ← FAC * I
I←I+1
FINMIENTRAS
FIN
Como puede observarse en el ejemplo, en nuestro lenguaje de diseño la palabra
ALGORITMO fue reemplazada por la palabra SUBALGORITMO. A continuación se
escribe el nombre (que se elige a voluntad del diseñador) seguido de uno o más
argumentos o parámetros separados por comasy encerrados entre paréntesis, cada
argumento está formado por su nombre y su tipo.
El nombre de un subalgoritmo se construye de igual forma que el nombre de una
variable.
Los parámetros que aparecen en la definición de un subalgoritmo se conocen con el
nombre de parámetros formales. Los parámetros formales se utilizan sólo en las
acciones que conforman el cuerpo del subalgoritmo. Estosparámetros pueden definirse
de tres maneras distintas que se identifican por la palabra que los preceden:
• in, son sólo parámetros de entrada, esto implica que se utilizan para proveer los
datos que necesita el subalgoritmo.
• out, son sólo parámetros de salida, donde el subalgoritmo devuelve los resultados
de la ejecución de sus acciones.
• in out, son parámetros que, por un lado, proveen los datos deentrada al
subalgoritmo y, por otro, en ellos el subalgoritmo devuelve los resultados de su
ejecución.
En el ejemplo del subalgoritmo FACTORIAL, el parámetro N es un parámetro de
entrada, que le provee al subalgoritmo el valor del número para el cual debe calcular el
factorial, mientras que el parámetro FAC es de salida y es donde el algoritmo devuelve
el factorial calculado.

55

UNSL –Departamento de Informática Lenguaje de Diseño de Algoritmos

Las variables que se declaran dentro de un subalgoritmo sólo pertencen al ambiente del
subalgoritmo donde están definidas y se conocen con el nombre de variables locales.
Es el caso de la variable I en el ejemplo dado.
Las acciones comprendidas entre COMENZAR Y FIN forman parte del cuerpo del
subalgoritmo.
4.3. INVOCACION Y RETORNO DE...