Procedimiento efectivo


Procedimiento efectivo

Procedimiento efectivo

En teoría de la computación, un procedimiento efectivo es una secuencia de pasos repetible y determinista; es decir, una en que siempre se irán obteniendo los mismos conjuntos de valores de salida, para los mismos conjuntos de valores de entrada.

Todos los algoritmos son procedimientos efectivos, sin embargo, no todos los procedimientos efectivos son algoritmos. Esto porque los algoritmos poseen propiedades adicionales que los primeros no tienen.

Ejemplos

  • Una receta de cocina es un procedimiento efectivo, porque corresponde a una serie de pasos que siempre lleva a un mismo resultado (por ejemplo, un pastel). Sin embargo, no es un algoritmo, pues depende del cocinero el cómo quede ese pastel, incluso teniendo los mismos ingredientes e instrumentos de trabajo.
  • Un código fuente que contiene un bucle infinito NO es un algoritmo aunque esté implementado formalmente en algún lenguaje de programación, ya que nunca se detendrá. No obstante, sí se considera un procedimiento efectivo, porque cada iteración es en sí misma determinista, y una sucesión de iteraciones también lo será.
Obtenido de "Procedimiento efectivo"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Procedimiento — Saltar a navegación, búsqueda El o un procedimiento es el modo de ejecutar determinadas acciones que suelen realizarse de la misma forma, con una serie común de pasos claramente definidos, que permiten realizar una ocupación o trabajo… …   Wikipedia Español

  • Método efectivo — Se ha sugerido que este artículo o sección sea fusionado con Sentido común (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí …   Wikipedia Español

  • Tesis de Church-Turing — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… …   Wikipedia Español

  • Modificación de conducta — Este artículo o sección sobre biología y psicología necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 7 de mayo de 2009. También… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Correctitud — Saltar a navegación, búsqueda En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctnes), corresponde a una propiedad que distingue a un algoritmo de un procedimiento …   Wikipedia Español

  • Hemorragia subaracnoidea — TAC mostrando una hemorragia subaracnoidea (zona blanca en la parte central de la imagen). Clasificación y recursos externos …   Wikipedia Español

  • Teoría de la computabilidad — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Máquina de Turing — Para otros usos de este término, véase Turing (desambiguación). Una máquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma. Este …   Wikipedia Español

  • Plasmodium relictum —   Plasmodium relictum Clasificación científica Reino …   Wikipedia Español