Definición de datos del Pseudocódigo
La definición de datos se da por supuesta, sobre todo en las variables sencillas, si se emplea formaciones: pilas, colas, vectores o registros, se pueden definir en la cabecera del algoritmo, y naturalmente cuando empleemos el pseudocódigo para definir estructuras de datos, esta parte la desarrollaremos adecuadamente.
Definición de estructuras de control
Como se había mencionado antes, cada autor usa su propio pseudocódigo con sus respectivas convenciones. Por ejemplo, considere la instrucción "Reemplace el valor de la variable x por el valor de la variable y"; algunas de las posibles sintaxis para indicar lo anterior podrían ser:
asigne a el valor de
Sin embargo, independientemente de estas diferencias, muchos autores consideran tres estructuras de control para desarrollar los procedimientos:
Las instrucciones se siguen en una secuencia fija que normalmente viene dada por el número de renglón. Es decir que las instrucciones se ejecutan de arriba hacia abajo. Las instrucciones se ejecutan dependiendo de la condicion dada dentro del algoritmo.
|
Instrucción1 Instrucción2 Instrucción3 Instrucciónn |
La instrucción selectiva determina si una determinada instrucción se ejecuta o no, según el cumplimiento de una condición P.
Diagrama de flujo que muestra el funcionamiento de la instrucción condicional
|
si P entonces Instrucciones1 fin si |
La condición P es una variable booleana o una función reducible a booleana (lógica, Verdadero/Falso). Si esta condición es cierta se ejecuta Instrucciones1, si no es así, ésta no se ejecuta.
La instrucción selectiva realiza una instrucción de dos posibles, según el cumplimiento de una condición P.
Diagrama de flujo que muestra el funcionamiento de la instrucción condicional
|
si P entonces Instrucciones1 si no Instrucciones2 fin si |
La condición P es una variable booleana o una función reducible a booleana (lógica, Verdadero/Falso). Si esta condición es cierta se ejecuta Instrucciones1, si no es así, entonces se ejecuta Instrucciones2.
También es común el uso de una selección múltiple que equivaldría a anidar varias funciones de selección.
|
si Condición1 entonces Instrucciones1 si no si Condición2 entonces Instrucciones2 si no si Condiciónn entonces Instruccionesn - 1 si no Instruccionesn fin si |
En este caso hay una serie de condiciones que tienen que ser mutuamente excluyentes, si una de ellas se cumple las demás tienen que ser falsas necesariamente, hay un caso si no que será cierto cuando las demás condiciones sean falsas.
En esta estructura si Condición1 es cierta, entonces se ejecuta sólo Instrucciones1. En general, si Condicióni es verdadera, entonces sólo se ejecuta Instruccionesi
Una construcción similar a la anterior (equivalente en algunos casos) es la que se muestra a continuación.
|
seleccionar Indicador caso Valor1: Instrucciones1 caso Valor2: Instrucciones2 caso Valorn-1: Instruccionesn-1 [en otro caso: Instruccionesn] Fin seleccionar Indicador |
En este caso hay un Indicador es una variable o una función cuyo valor es comparado en cada caso con los valores "Valori", si en algún caso coinciden ambos valores, entonces se ejecutarán las Instruccionesi correspondientes. La sección en otro caso es análoga a la sección si no del ejemplo anterior.
Las instrucciones iterativas abren la posibilidad de realizar una secuencia de instrucciones más de una vez.
Diagrama de flujo que muestra el funcionamiento de la instrucción mientras
|
mientras P hacer Instrucciones fin mientras |
El bucle se repite mientras la condición P sea cierta, si al llegar por primera vez al bucle mientras la condición es falsa, el cuerpo del bucle no se ejecuta ninguna vez.
Existen otras variantes que se derivan a partir de la anterior. La estructura de control hacer se utiliza cuando es necesario que las instrucciones de una estructura mientras se ejecuten al menos una vez:
|
hacer Instrucciones mientras P |
La estructura anterior equivaldría a escribir
|
Instrucciones mientras P hacer Instrucciones fin mientras |
Una estructura de control muy común es el ciclo para, la cual se usa cuando se desea iterar sobre sobre un índice i (por convención se usa i, sin embargo se puede usar cualquier identificador):
|
para hasta n hacer Instrucciones fin para |
la cual se define como
|
mientras hacer Instrucciones fin mientras |
Por último, también es común usar la estructura de control para cada. Esta sentencia se usa cuando se tiene una lista o un conjunto L y se quiere iterar por cada uno de sus elementos:
|
para cada hacer Instrucciones fin para |
Si asumimos que los elementos de L son , entonces esta sentencia equivaldría a
|
para hasta n hacer Instrucciones fin para |
Sin embargo, en la práctica existen mejores formas de implementar esta instrucción dependiendo del problema.
Es importante recalcar que el pseudocódigo no es un lenguaje estandarizado. Eso significa que diferentes autores podrían dar otras estructuras de control o bien usar estas mismas estructuras, pero con una notación diferente. Sin embargo, las funciones matemáticas y lógicas toman el significado usual que tienen en matemática y lógica, con las mismas expresiones.
Cualquier instrucción puede ser sustituida por una estructura de control. El siguiente ejemplo muestra un pseudocódigo de un método de ordenamiento denominado Ordenamiento de burbuja en el cual aparecen varias estructuras anidadas. Este algoritmo ordena una lista L.
|
procedimiento // es una lista con n elementos// hacer para hasta hacer si entonces fin si fin para mientras fin procedimiento |
Con este pseudocódigo se puede desarrollar cualquier algoritmo que:
Tenga un único punto de inicio.
Tenga un número finito de posibles puntos de término.
Haya un número finito de caminos, entre el punto de inicio y los posibles puntos de término.
Muchas personas prefieren distinguir entre funciones y procedimientos. Una función, al igual que una función matemática, recibe uno o varios valores de entrada y regresa una salida mientras que un procedimiento recibe una entrada y no genera ninguna salida aunque en algún caso podría devolver resultados a través de sus parámetros de entrada si estos se han declarado por referencia (ver formas de pasar argumentos a una función o procedimiento).
En ambos casos es necesario dejar en claro cuáles son las entradas para el algoritmo, esto se hace comúnmente colocando estos valores entre paréntesis al principio o bien declarándolo explícitamente con un enunciado. En el caso de las funciones, es necesario colocar una palabra como regresar o devolver para indicar cuál es la salida generada por el algoritmo. Por ejemplo, el pseudocódigo de una función que permite calcular an (un número a elevado a potencia n).
|
función //Este algoritmo calcula an (con a y n números naturales) mientras hacer si es impar entonces fin si fin mientras devolver fin función |
Ventajas de utilizar un Pseudocódigo a un diagrama de flujo
Ocupan mucho menos espacio en el desarrollo del problema.
Permite representar de forma fácil operaciones repetitivas complejas.
Es más sencilla la tarea de pasar de pseudocódigo a un lenguaje de programación formal.
Si se siguen las reglas de identación se puede observar claramente los niveles en la estructura del programa.
En los procesos de aprendizaje de los alumnos de programación, estos están más cerca del paso siguiente (codificación en un lenguaje determinado, que los que se inician en esto con la modalidad Diagramas de Flujo).
Mejora la claridad de la solución de un problema.