Algoritmos y Programación en Pascal

7.3. Aspectos metodológicos 143
Leer n
Construir la tabla n
A continuación se muestra el primer refinamiento, en el que se especifica
la función que construye la tabla como la aplicación sucesiva de la acción que
construye cada una de las filas de la tabla:
Leer n
{Construir la tabla:}
para i←1 hasta n hacer
Escribir la línea i-ésima
El paso siguiente consiste en depurar la especificación de la función que construye
las filas.
Leer n
para i←1 hasta n hacer
{Escribir la línea i-ésima:}
para j←1 hasta n hacer
Escribir i*j
Salto de línea
Y esta versión admite una traducción directa a Pascal como la siguiente:
Program Tabla (input, output);
var
n, i, j: integer;
begin
{Petición de datos:}
Write(’Escriba el valor de n y pulse intro: ’);
ReadLn(n);
{Construcción de la tabla:}
for i:= 1 to n do begin
{Escribir la línea i-ésima:}
for j:= 1 to n do
Write(i * j:6); {Elemento i-j-ésimo}
WriteLn {Salto de línea}
end {for i:= 1}
end. {Tabla}
Es de resaltar que la idea del refinamiento progresivo consiste simplemente
en caminar desde el seudocódigo hasta, por ejemplo, el Pascal; por esta razón,
durante el refinamiento se puede escribir directamente en Pascal lo que se traduce
trivialmente, por ejemplo, escribir a:= b en lugar de a←b. En el siguiente
ejemplo utilizaremos esta observación.