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.
DONDE HAY
UNA SERIE DE PASOS A SEGUIR PARA DETERMINAR UN PROBLEMA
QUE EMPLEA
METODOLOGIA PARA SOLUCION DE PROBLEMAS
-DEFINICION DEL PROBLEMA -ANALISIS DEL PROBLEMA -DISEÑO
TIENE
ELEMENTOS
SON
ENTRADA
SALIDA
PROCESO
CARACTERISTICAS
QUE SON
PRESICION
FINITUD
DETERMINISMO
SE REPRESENTA MEDIANTE
DIAGRAMA DE FLUJO
PSEUDO CODIGO
TIENE 3 PROPIEDADES
TIEMPO SECUENCIAL
Un algoritmo funciona en tiempo discretizado –paso a paso–, definiendo así una secuencia de estados
computacionales por cada entrada válida (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 de primer orden y
cada algoritmo es independiente de su implementación (los algoritmos son objetos abstractos) de manera
que en un algoritmo las estructuras de primer orden son invariantes bajo isomorfismo.
EXPLORACION ACOTADA
La transición de un estado al siguiente queda completamente determinada por una descripción fija y finita;
es decir, entre cada estado y el siguiente solamente se puede tomar en cuenta una cantidad fija y limitada
de términos del estado actual.
Medios de expresión de un algoritmo
VARIABLES
Son elementos que toman valores específicos de un tipo de datos concreto.
SISTEMAS FORMALES
Los modelos más comunes son la máquina de Turing, máquina de registro y funciones μ-recursivas.
ESTRUCTURAS SECUENCIALES
La estructura secuencial es aquella en la que una acción sigue a otra en secuencia. Las operaciones se
suceden de tal modo que la salida de una es la entrada de la siguiente y así sucesivamente hasta el fin del
proceso