Los parámetros formales, también llamados ficticios, son variables locales que se declaran en la cabecera de un procedimiento, en las cuales se almacenarán:

Los datos de entrada que se le proporcionen al procedimiento en la llamada.
Así como, los datos de salida que se devolverán al subprograma llamante.
Y también, los datos de entrada y salida.

En un subprograma, las variables locales declaradas en la sección de declaraciones, se diferencian de las variables locales declaradas en la cabecera (parámetros), en que, éstas últimas, se utilizan para transferir datos entre el llamante y el llamado, y las otras no.

Para escribir la <lista_de_parámetros_formales> de un subalgoritmo, la sintaxis es:

[ E <nombre_del_tipo_de_dato_1> : <lista_de_variables_1> ;
E <nombre_del_tipo_de_dato_2> : <lista_de_variables_2> ;
...
E <nombre_del_tipo_de_dato_n> : <lista_de_variables_n> ; ]

[ S <nombre_del_tipo_de_dato_1> : <lista_de_variables_n+1> ;
S <nombre_del_tipo_de_dato_2> : <lista_de_variables_n+2> ;
...
S <nombre_del_tipo_de_dato_n> : <lista_de_variables_m> ; ]

[ E/S <nombre_del_tipo_de_dato_1> : <lista_de_variables_m+1> ;
E/S <nombre_del_tipo_de_dato_2> : <lista_de_variables_m+2> ;
...
E/S <nombre_del_tipo_de_dato_n> : <lista_de_variables_p> ]

En donde, E, S y E/S, indican que los parámetros siguientes son de entrada, de salida y de entrada/salida, respectivamente.

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

Las variables de una <lista_de_variables> deben ir separadas por el carácter coma (,).

De modo que, suponiendo que al subalgoritmo (procedimiento) que da solución al subproblema planteado en el apartado anterior, Parámetros, (realizar la multiplicación de dos números enteros) se le pasen dos datos de entrada (los dos números introducidos por el usuario) en la llamada, y devuelva un dato de salida (el resultado de la multiplicación), el procedimiento que da solución a dicho subproblema, puede ser:

procedimiento Multiplicar(
   E entero n1, n2;
   S entero resultado )

inicio
   resultado ← n1 * n2
fin

Los parámetros n1 y n2, son variables de entrada (E). Por tanto, cuando se realice una llamada al procedimiento Multiplicar, se tienen que proporcionar los datos que se almacenarán (recogerán) en dichos parámetros.

Por otra parte, cuando el procedimiento Multiplicar finalice, el parámetro resultado debe contener un dato que se devolverá al llamante. Dicho dato, se almacenará en una variable local declarada en el llamante, o en una global.

A continuación, continuaremos estudiando los Parámetros Actuales en el siguiente apartado.