Recuérdese que, en pseudocódigo, como ya vimos en el apartado de Procedimientos, la sintaxis que se utiliza para hacer una llamada a un procedimiento es:

<nombre_del_procedimiento>( [ <lista_de_parámetros_actuales> ] )

Los parámetros de una <lista_de_parámetros_actuales> deben ir separados por el carácter coma (,).

En una llamada a un subprograma, el número de parámetros actuales, también llamados reales, debe coincidir con el número de parámetros formales declarados en el subprograma, existiendo una correspondencia de tipos de datos entre ellos, es decir, el primer parámetro formal debe ser del mismo tipo de dato que el primer parámetro actual, y así con todos.

Los parámetros actuales que se correspondan con parámetros formales de entrada, pueden ser expresiones. De esta forma, el resultado de evaluar un parámetro actual (expresión), se proporciona como dato de entrada al llamado. Sin embargo, los parámetros actuales que se correspondan con parámetros formales de salida o de entrada y salida, sólo pueden ser variables, ya que, un dato de salida devuelto por el llamante, se almacena en un parámetro actual, el cual, obviamente, sólo puede ser una variable.

Por otro lado, para declarar un procedimiento (con parámetros) se utiliza el identificador de dicho procedimiento, seguido de los paréntesis "()", entre los cuales, se deben escribir los tipos de datos de los parámetros formales que se hayan declarado en el procedimiento. La sintaxis es:

<nombre_del_procedimiento>( <lista_de_tipos_de_datos> )

Para escribir la <lista_de_tipos_de_datos> en la declaración de un subalgoritmo, la sintaxis es:

[ E <lista_del_tipos_de_datos_de_entrada> ; ]
[ S <lista_del_tipos_de_datos_de_salida> ; ]
[ E/S <lista_del_tipos_de_datos_de_entrada y salida> ]

El carácter punto y coma (;) sólo se debe poner, si después de una <lista_del_tipos_de_datos>, hay otra.

Los tipos de datos de una <lista_del_tipos_de_datos> deben ir separados por el carácter coma (,).

Así pues, usando el procedimiento Multiplicar visto en el apartado anterior, Parámetros Formales, la solución algorítmica al problema del ejemplo planteado en el apartado Parámetros, puede ser la siguiente:

algoritmo Multiplicacion_de_dos_numeros_enteros

subalgoritmos
   Multiplicar( E entero, entero;
                S entero)

variables
    entero a, b, r

inicio
   escribir( "Introduzca el primer número: " )
   leer( a )
   escribir( "Introduzca el segundo número: " )
   leer( b )
   Multiplicar( a, b, r );
   escribir( "La multiplicación es: ", r )
fin

Suponiendo, por ejemplo, que el usuario desee calcular la multiplicación de 5 y 8, en pantalla se mostrará:

Introduzca el primer número: 5

Introduzca el segundo número: 8

La multiplicación es: 40

Por tanto, cuando en el algoritmo se hace la llamada al procedimiento Multiplicar:

Multiplicar( a, b, r );

En los parámetros n1 y n2 del procedimiento, se almacenan (copian) los datos de entrada (5 y 8) proporcionados en la llamada.

5 y 8 son los resultados de evaluar las expresiones (variables en este caso) n1 y n2, respectivamente.