ALGORITMOS

En matemticas, lgica, ciencias de la computacin y disciplinas relacionadas,

un algoritmo (del griego y latn, dixit algorithmus y ste a su vez del matemtico
persa Al-Juarismi1 ) es un conjunto prescrito de instrucciones o reglas bien
definidas, ordenadas y finitas que permite realizar una actividad mediante pasos
sucesivos que no generen dudas a quien deba realizar dicha actividad. Dados un
estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado
final y se obtiene una solucin. Los algoritmos son el objeto de estudio de
la algoritmia. En la vida cotidiana, se emplean algoritmos frecuentemente para
resolver problemas. Algunos ejemplos son los manuales de usuario, que muestran
algoritmos para usar un aparato, o las instrucciones que recibe un trabajador por
parte de su patrn. Algunos ejemplos en matemtica son el algoritmo de
multiplicacin, para calcular el producto, el algoritmo de la divisin para calcular el
cociente de dos nmeros, el algoritmo de Euclides para obtener el mximo comn
divisor de dos enteros positivos, o el mtodo de Gauss para resolver un sistema de
ecuaciones lineales.

DEFINICION FORMAL
En general, no existe ningn consenso definitivo en cuanto a la definicin formal de algoritmo. Muchos autores
los sealan como listas de instrucciones para resolver un clculo o un problema abstracto, es decir, que un
nmero finito de pasos convierten los datos de un problema (entrada) en una solucin (salida). Sin embargo cabe
notar que algunos algoritmos no necesariamente tienen que terminar o resolver un problema en particular. Por
ejemplo, una versin modificada de la criba de Eratstenes que nunca termine de calcular nmeros primos no
deja de ser un algoritmo. 1 En general, la parte comn en todas las definiciones se puede resumir en las
siguientes tres propiedades siempre y cuando no consideremos algoritmos paralelos:
Tiempo secuencial. Un algoritmo funciona en tiempo discretizado paso a paso, definiendo as una
secuencia de estados computacionales por cada entrada vlida (la entrada son los datos que se le
suministran al algoritmo antes de comenzar).
Estado abstracto. Cada estado computacional puede ser descrito formalmente utilizando una estructura
del primer orden y cada algoritmo es independiente de su implementacin (los algoritmos son objetos
abstractos) de manera que en un algoritmo las estructuras de primer orden son invariantes bajo
isomorfismo.
Exploracin acotada. La transicin de un estado al siguiente queda completamente determinada por
una descripcin fija y finita; es decir, entre cada estado y el siguiente solamente se puede tomar en
cuenta una cantidad fija y limitada de trminos del estado actual.

MEDIOS DE EXPRESION DE UN ALGORITMO

Los
algoritmos
pueden
ser
expresados
de
muchas
maneras,
natural, pseudocdigo, diagramas de flujo y lenguajes de programacin entre otros.
1.

incluyendo

al lenguaje

Descripcin de alto nivel. Se establece el problema, se selecciona un modelo matemtico y se

explica el algoritmo de manera verbal, posiblemente con ilustraciones y omitiendo detalles.

2. Descripcin formal. Se usa pseudocdigo para describir la secuencia de pasos que encuentran la
solucin.
3. Implementacin. Se muestra el algoritmo expresado en un lenguaje de programacin especfico o algn
objeto capaz de llevar a cabo instrucciones.

Diagrama de flujo
Diagrama de flujo que expresa un algoritmo para calcular la raz cuadrada de un nmero
Artculo principal: Diagrama de flujo
Los diagramas de flujo son descripciones grficas de algoritmos; usan smbolos conectados con flechas para
indicar la secuencia de instrucciones y estn regidos por ISO.
Los diagramas de flujo son usados para representar algoritmos pequeos, ya que abarcan mucho espacio y su
construccin es laboriosa. Por su facilidad de lectura son usados como introduccin a los algoritmos, descripcin
de un lenguaje y descripcin de procesos a personas ajenas a la computacin.

Pseudocdigo
El pseudocdigo (falso lenguaje, el prefijo pseudo significa falso) es una descripcin de alto nivel de un algoritmo
que emplea una mezcla de lenguaje natural con algunas convenciones sintcticas propias de lenguajes de
programacin, como asignaciones, ciclos y condicionales, aunque no est regido por ningn estndar. Es utilizado
para describir algoritmos en libros y publicaciones cientficas, y como producto intermedio durante el desarrollo
de un algoritmo, como los diagramas de flujo, aunque presentan una ventaja importante sobre estos, y es que los
algoritmos descritos en pseudocdigo requieren menos espacio para representar instrucciones complejas.

Sistemas formales
La teora de autmatas y la teora de funciones recursivas proveen modelos matemticos que formalizan el
concepto de algoritmo. Los modelos ms comunes son la mquina de Turing, mquina de registro y funciones recursivas. Estos modelos son tan precisos como un lenguaje mquina, careciendo de expresiones coloquiales o
ambigedad, sin embargo se mantienen independientes de cualquier computadora y de cualquier
implementacin.

Implementacin
Muchos algoritmos son ideados para implementarse en un programa. Sin embargo, los algoritmos pueden ser
implementados en otros medios, como una red neuronal, un circuito elctrico o un aparato mecnico y elctrico.
Algunos algoritmos inclusive se disean especialmente para implementarse usando lpiz y papel. El algoritmo de
multiplicacin tradicional, el algoritmo de Euclides, la criba de Eratstenes y muchas formas de resolver la raz
cuadrada son slo algunos ejemplos.

Variables
Son elementos que toman valores especficos de un tipo de datos concreto. La declaracin de una variable puede
realizarse comenzando con var. Principalmente, existen dos maneras de otorgar valores iniciales a variables:
1. Mediante una sentencia de asignacin.
2. Mediante un procedimiento de entrada de datos