Pseudocdigo

En ciencias de la computacin, y anlisis numrico el pseudocdigo (o falso lenguaje) es una

descripcin de un algoritmo de programacin informtico de alto nivel compacto e informal que
utiliza las convenciones estructurales de un lenguaje de programacin verdadero, pero que
est diseado para la lectura humana en lugar de la lectura en mquina, y con independencia
de cualquier otro lenguaje de programacin. Normalmente, el pseudocdigo omite detalles que
no son esenciales para la comprensin humana del algoritmo, tales como declaraciones de
variables, cdigo especfico del sistema y algunas subrutinas. El lenguaje de programacin se
complementa, donde sea conveniente, con descripciones detalladas en lenguaje natural, o con
notacin matemtica compacta. Se utiliza pseudocdigo pues este es ms fcil de entender
para las personas que el cdigo de lenguaje de programacin convencional, ya que es una
descripcin eficiente y con un entorno independiente de los principios fundamentales de un
algoritmo. Se utiliza comnmente en los libros de texto y publicaciones cientficas que se
documentan varios algoritmos, y tambin en la planificacin del desarrollo de programas
informticos, para esbozar la estructura del programa antes de realizar la codificacin
efectivamente. No existe una sintaxis estndar para el pseudocdigo, aunque los dos
programas que manejan pseudocdigo tengan su sintaxis propia. Aunque parecido, el
pseudocdigo no debe confundirse con los programas esqueleto que incluyen cdigo ficticio,
que pueden ser compilados sin errores. Aunque los diagramas de flujo y UML sean ms
amplios en el papel, pueden ser considerados como una alternativa grfica al pseudocdigo.

Aplicacin
Muchas veces, los libros de texto y publicaciones cientficas relacionadas con la informtica y la
computacin numrica, utilizan pseudocdigo en la descripcin de algoritmos, de manera que
todos los programadores puedan entenderlo, aunque no todos conozcan el mismo lenguaje de
programacin. Por lo general, en los libros de texto, hay una explicacin que acompaa la
introduccin que explica las convenciones particulares en uso. El nivel de detalle del
pseudocdigo puede, en algunos casos, acercarse a la de formalizar los idiomas de propsito
general.
Un programador que tiene que aplicar un algoritmo especfico, sobre todo uno des
familiarizado, generalmente comienza con una descripcin en pseudocdigo, y luego "traduce"
esa descripcin en el lenguaje de programacin meta y lo modifica para que interacte
correctamente con el resto del programa. Los programadores tambin pueden iniciar un
proyecto describiendo la forma del cdigo en pseudocdigo en el papel antes de escribirlo en
su lenguaje de programacin, como ocurre en la estructuracin de un enfoque de Top-Down y
Bottom-up arriba hacia abajo.

Sintaxis
En la actualidad, por lo general, el pseudocdigo, como su nombre lo indica, no obedece a las
reglas de sintaxis de ningn idioma en particular, no es de forma estndar sistemtica, a pesar

de que cualquier escritor en particular vaya a pedir prestado las estructuras de control general,
la sintaxis y el estilo, por ejemplo, de algn lenguaje de programacin convencional. Pero en
caso de que se quiera ejecutar, se debe llevar a forma tipo, para que no genere mensajes de
error. Las fuentes populares incluyen la sintaxis de Pascal, BASIC, C, C++, Java, Lisp, y
ALGOL. Por lo general, se omiten las declaraciones de variables. A veces, las llamadas a
funciones, los bloques de cdigo y el cdigo contenido dentro de un loop se remplazan por una
sentencia de una lnea en lenguaje natural.
Dependiendo del escritor, el pseudocdigo puede variar mucho en su estilo, yendo desde una
imitacin casi exacta de un lenguaje de programacin real en un extremo, hasta al acercarse a
una descripcin en prosa de formato de pseudocdigo.

Caractersticas y partes
Las principales caractersticas de este lenguaje son:
1. Se puede ejecutar en un ordenador (con un IDE como por ejemplo B166ER o PSeInt)
2. Es una forma de representacin sencilla de utilizar y de manipular.
3. Facilita el paso del programa al lenguaje de programacin.
4. Es independiente del lenguaje de programacin que se vaya a utilizar.
5. Es un mtodo que facilita la programacin y solucin al algoritmo del programa.
Todo documento en pseudocdigo debe permitir la descripcin de:
1. Instrucciones primitivas.
2. Instrucciones de proceso....
3. Instrucciones de control.
4. Instrucciones compuestas.
5. Instrucciones de descripcin.
Estructura a seguir en su realizacin:
1. Cabecera.
1. Programa.
2. Mdulo.
3. Tipos de datos.
4. Constantes.
5. Variables.

2. Cuerpo.
1. Inicio.
2. Instrucciones.
3. Fin.

Definicin de datos del pseudocdigo

La definicin 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 pseudocdigo para definir estructuras de datos, esta parte
la desarrollaremos adecuadamente.

Funciones y operaciones
Cada autor usa su propio pseudocdigo con sus respectivas convenciones. Por ejemplo, la
instruccin "reemplace el valor de la variable por el valor de la variable " puede ser
representado como:

asigne a el valor de

Las operaciones aritmticas se representan de la forma usual en matemticas.

Estructuras de control
En la redaccin del pseudocdigo 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 nmero
de rengln. Es decir que las instrucciones se ejecutan de arriba hacia abajo. Las instrucciones
se ejecutan dependiendo de la condicin dada dentro del algoritmo.

Estructuras selectivas
Las instrucciones selectivas representan instrucciones que pueden o no ejecutarse, segn el
cumplimiento de una condicin.

Diagrama de flujo que muestra el funcionamiento de la instruccin condicional.

La condicin es una expresin booleana. Instrucciones es ejecutada slo si la condicin es

verdadera.
Selectiva doble (alternativa)
La instruccin alternativa realiza una instruccin de dos posibles, segn el cumplimiento de una
condicin.

Diagrama de flujo que muestra el funcionamiento de la instruccin condicional.

La condicin es una variable booleana o una funcin reducible a booleana (lgica,

Verdadero/Falso). Si esta condicin es cierta se ejecuta Instrucciones1, si no es as, entonces
se ejecuta Instrucciones2.
Selectiva mltiple
Tambin es comn el uso de una seleccin mltiple que equivaldra a anidar varias funciones
de seleccin.

En este caso hay una serie de condiciones que tienen que ser mutuamente excluyentes, si una
de ellas se cumple las dems tienen que ser falsas necesariamente, hay un caso si no que
ser cierto cuando las dems condiciones sean falsas.
En esta estructura si Condicin1 es cierta, entonces se ejecuta slo Instrucciones1. En general,
si Condicin es verdadera, entonces slo se ejecuta Instrucciones
Selectiva mltiple-Casos
Una construccin similar a la anterior (equivalente en algunos casos) es la que se muestra a
continuacin.

En este caso hay un Indicador es una variable o una funcin cuyo valor es comparado en cada
caso con los valores "Valor", si en algn caso coinciden ambos valores, entonces se ejecutarn
las Instrucciones correspondientes. La seccin en otro caso es anloga a la seccin si no del
ejemplo anterior.

Estructuras iterativas
Las instrucciones iterativas representan la ejecucin de instrucciones en ms de una vez.
Bucle mientras
Artculo principal: Bucle while.

El bucle se repite mientras la condicin sea cierta, si al llegar por primera vez al bucle mientras
la condicin es falsa, el cuerpo del bucle no se ejecuta ninguna vez.

Diagrama de flujo que muestra el funcionamiento de la instruccin 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 condicin:

La estructura anterior equivaldra a escribir:

Bucle hacer
El Bucle hacer se utiliza para repetir un bloque de cdigo mientras se cumpla cierta condicin.

Bucle para
Artculo principal: Bucle for.

Una estructura de control muy comn es el ciclo para, la cual se usa cuando se desea iterar un
nmero conocido de veces, empleando como ndice una variable que se incrementa (o
decrementa): Plantilla: Definiciones
La cual se define como:

Bucle para cada

Por ltimo, tambin es comn 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

a:

Que es lo mismo que:

son

, entonces esta sentencia equivaldra

Sin embargo, en la prctica existen mejores formas de implementar esta instruccin

dependiendo del problema.
Es importante recalcar que el pseudocdigo no es un lenguaje estandarizado. Eso significa que
diferentes autores podran dar otras estructuras de control o bien usar estas mismas
estructuras, pero con una notacin diferente. Sin embargo, las funciones matemticas y lgicas
toman el significado usual que tienen en matemtica y lgica, con las mismas expresiones.

El anidamiento
Cualquier instruccin puede ser sustituida por una estructura de control. El siguiente ejemplo
muestra el pseudocdigo 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 ms sencilla su

identificacin a simple vista. En el ejemplo, adems de la indentacin, se ha conectado con
flechas los pares de delimitadores de cada nivel de anidamiento.

Desarrollo de algoritmos
Con este pseudocdigo se puede desarrollar cualquier algoritmo que:

Tenga un nico punto de inicio.

Tenga un nmero finito de posibles puntos de trmino.

Haya un nmero finito de caminos, entre el punto de inicio y los posibles puntos de
trmino.

Funciones y procedimientos
Muchas personas prefieren distinguir entre funciones y procedimientos. Una funcin, al igual
que una funcin matemtica, 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 algn
caso podra devolver resultados a travs de sus parmetros de entrada si estos se han
declarado por referencia (ver formas de pasar argumentos a una funcin o procedimiento).
En ambos casos es necesario dejar en claro cules son las entradas para el algoritmo, esto se
hace comnmente colocando estos valores entre parntesis al principio o bien declarndolo
explcitamente con un enunciado. En el caso de las funciones, es necesario colocar una
palabra como regresar o devolver para indicar cul es la salida generada por el algoritmo. Por
ejemplo, el pseudocdigo de una funcin que permite calcular
(un nmero elevado a
potencia ).

Un ejemplo de procedimiento seria el algoritmo de Ordenamiento de burbuja, por el que

partiendo de una lista de valores estos se ordenan, ntese que en un procedimiento, no se
calcula el valor de una funcin, sino que se realiza una accin, en este caso ordenar la lista.

Ventajas del pseudocdigo sobre los diagramas de flujo

1. Ocupan mucho menos espacio en el desarrollo del problema.
2. Permite representar de forma fcil operaciones repetitivas complejas.
3. Es ms sencilla la tarea de pasar de pseudocdigo a un lenguaje de programacin
formal.
4. Si se siguen las reglas de identacin se puede observar claramente los niveles en la
estructura del programa.
5. En los procesos de aprendizaje de los alumnos de programacin, stos estn ms cerca
del paso siguiente (codificacin en un lenguaje determinado, que los que se inician en
esto con la modalidad Diagramas de Flujo).
6. Mejora la claridad de la solucin de un problema.