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 [[Argumento (Ciencias de la computación)#Paso de Argumentos|formas de pasar argumentos a una función o procedimiento]]).
chel eso es todo sobre los pseudocodigos y es su unica funcion
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 <math>a^n</math> (un número <math>a</math> elevado a potencia <math>n</math>).
{{definición|<math>
\begin{array}{l}
{ \color{Sepia} funci \acute{o} n } \;
{ \color{BlueViolet} potencia } \; (
{ \color{OliveGreen} a,n} ) \\
{ \color{OliveGreen} a,n} ) \\
{ \color{Gray} // Comentario: \; Este \; algoritmo \; calcula \; a^n \; con \; a \; y \; n \; n \acute{u} meros \; naturales // } \\
{ \color{Gray} // Comentario: \; Este \; algoritmo \; calcula \; a^n \; con \; a \; y \; n \; n \acute{u} meros \; naturales // } \\
El pseudocódigo está pensado para facilitar a las personas el entendimiento de un algoritmo, y por lo tanto puede omitir detalles irrelevantes que son necesarios en una implementación. Programadores diferentes suelen utilizar convenciones distintas, que pueden estar basadas en la sintaxis de lenguajes de programación concretos. Sin embargo, el pseudocódigo en general es comprensible sin necesidad de conocer o utilizar un entorno de programación específico, y es a la vez suficientemente estructurado para que su implementación se pueda hacer directamente a partir de él.
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.
Funciones y operaciones
Cada autor usa su propio pseudocódigo con sus respectivas convenciones. Por ejemplo, la instrucción "reemplace el valor de la variable por el valor de la variable " puede ser representado como:
asigne a el valor de
Las operaciones aritméticas se representan de la forma usual en matemáticas.
Estructuras de control
En la redacción del pseudocódigo se utiliza tres tipos de estructuras de control: las secuenciales,
las selectivas y las iterativas.
Estructuras secuenciales
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.
Estructuras selectivas
Las instrucciones selectivas representan instrucciones que pueden o no ejecutarse, según el cumplimiento de una condición .
Diagrama de flujo que muestra el funcionamiento de la instrucción condicional
La condición es una expresión booleana. Instrucciones1 es ejecutada sólo si la condición es verdadera.
Selectiva doble (alternativa)
La instrucción selectiva realiza una instrucción de dos posibles, según el cumplimiento de una condición .
Diagrama de flujo que muestra el funcionamiento de la instrucción condicional
La condición 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.
Selectiva múltiple
También es común el uso de una selección múltiple que equivaldría a anidar varias funciones de selección.
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
Selectiva múltiple-Casos
Una construcción similar a la anterior (equivalente en algunos casos) es la que se muestra a continuación.
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.
Estructuras iterativas
Las instrucciones iterativas representan la ejecución de instrucciones en más de una vez.
Bucle mientras
El bucle se repite mientras la condición 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.
Diagrama de flujo que muestra el funcionamiento de la instrucción mientras
Bucle repetir
Existen otras variantes que se derivan a partir de la anterior. La estructura de control repetir se utiliza cuando es necesario que el cuerpo del bucle se ejecuten al menos una vez y hasta que se cumpla la condición P:
La estructura anterior equivaldría a escribir:
Bucle para
Una estructura de control muy común es el ciclo para, la cual se usa cuando se desea iterar un numero conocido de veces, empleando como índice una variable que se incrementa:
la cual se define como:
Bucle para cada
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 y se quiere iterar por cada uno de sus elementos:
Si asumimos que los elementos de son , entonces esta sentencia equivaldría a:
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.
El anidamiento
Cualquier instrucción puede ser sustituida por una estructura de control. El siguiente ejemplo muestra el pseudocódigo del ordenamiento de burbuja, que tiene varias estructuras anidadas. Este algoritmo ordena de menor a mayor los elementos de una lista .
En general, las estructuras anidadas se muestran indentadas, para hacer más sencilla su identificación a simple vista.
En el ejemplo, además de la indentación, se ha conectado con flechas los pares de delimitadores de cada nivel de anidamiento.
Desarrollo de algoritmos
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.
Funciones y procedimientos
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 (un número elevado a potencia ).
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).
Peña Marí, Ricardo (2005). Diseño de programas: formalismo y abstracción (3 edición). Pearson Alhambra. p. 488. ISBN978-84-205-4191-4.
Brassard, Gilles; Bratley, Paul (1996). Algorítmica: concepción y análisis. Peña Mari, Ricardo Tr. (1 edición). Masson, S.A. p. 384. ISBN978-84-458-0535-0.La referencia utiliza el parámetro obsoleto |coautores= (ayuda)
