Clases de sistemas: Tarea 1.- Ensayo conceptual ''algoritmos''

Un algoritmo es una serie predeterminada de instrucciones definidas, ordenadas y delimitadas, que permiten realizar un trabajo, mediante una serie de pasos sucesivos, que no generen dudas. Dadas una base inicial y una entrada, siguiendo esos pasos se llega a un resultado final y se obtiene una respuesta.

Son el objeto de estudio de la algoritmia.

La literatura determina, en parte, a los algoritmos como listas de instrucciones para resolver un problema abstracto, es decir que en un determinado número de pasos, los datos de un problema(entrada) se convierten en una solución(salida).

A lo largo del tiempo, varios autores han tratado de definir de manera formal los algoritmos usando modelos matemáticos, sin embargo, estos están sujetos a un estilo propio de datos, como números, símbolos o gráficas, mientras que, en general, los algoritmos funcionan por una gran cantidad de estructuras de datos.

En general, la parte común en todas las definiciones se puede resumir en las siguientes propiedades, siempre que no se consideren los algoritmos paralelos*

Tiempo secuencial: un algoritmo funciona en tiempo discretizado **, definiendo así una secuencia de estados computacionales, por cada entrada válida[tómese en cuenta que la entrada son los datos suministrados al algoritmo antes de comenzar]
Estado abstracto: cada estado computacional puede ser descrito formalmente usando una estructura de primer orden*** y cada algoritmo es independiente de su implementación [los algoritmos son objetos abstractos], de modo que en un algoritmo las estructuras de primer orden son invariantes bajo isomorfismo****
Expliración acotada: la transición de un estado a otro queda completamente determinada por una descripción fija y finita [entre cada estado y el siguiente solamente se puede tomar en cuenta una cantidad limitada y fija de términos del estado actual]

En resumen, un algoritmo es cualquier cosa que funcione por pasos, donde cada uno se pueda describir sin ambigüedad, ni haciendo referencia a una máquina en específico, además de tener un límite fijo en cuanto a la cantidad de datos que se pueden leer/escribir en un solo paso.

*algoritmo que puede ser ejecutado por partes en el mismo instante de tiempo por varias unidades de procesamiento, para finalmente unir todas las partes y obtener el resultado correcto.

**
Discretizar consiste en tomar de un conjunto infinito de puntos un subconjunto infinito de modo que éste subconjunto tenga las mismas propiedades y características que el continuo.

***colección de distintos símbolos clasificados como sigue:

-El símbolo de igualdad las conectivas , el cuantificador universal, y el paréntesis.

-Un conjunto contable de símbolos de variable

-Un conjunto de símbolos de constante

-Un conjunto de símbolos de función

-Un conjunto de símbolos de relación

****homomorfismo biyectivo, talque su inversa es tambien homomorfa''

''desde un objeto matemático a otro de la misma categoría, es una función que es compatible con toda la estructura relevante.

Fuentes:

http://es.wikipedia.org/wiki/Algoritmo

http://es.wikipedia.org/wiki/Algoritmo_paralelo

http://foro.migui.com/smf/index.php?action=printpage;topic=3433.0