Correctitud

Correctitud

Correctitud

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 efectivo.

Un algoritmo es correcto, si:

  1. Resuelve el problema computacional para el cual fue diseñado.
  2. Para cada entrada, produce la salida deseada.
  3. Termina en un tiempo de ejecución finito.

Si cualquiera de estos tres puntos no se cumple, entonces estamos hablando de un algoritmo incorrecto, que para efectos prácticos, carece de utilidad, al no ser más que un procedimiento efectivo, es decir, una secuencia ordenada y determinista de pasos.

Obtenido de "Correctitud"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Auditoría contable — Saltar a navegación, búsqueda La auditoría es el examen crítico y sistemático que realiza una persona o grupo de personas independientes del sistema auditado. Aunque hay muchos tipos de auditoría, la expresión se utiliza generalmente para… …   Wikipedia Español

  • Informático teórico — Estatua de Alan Turing, uno de los informáticos teóricos más reconocidos en la historia de las ciencias de la computación. Un informático teórico o científico de la computación es una persona con conocimientos adquiridos en ciencias de la… …   Wikipedia Español

  • DSA — Saltar a navegación, búsqueda Para otros usos de este término, véase DSA (desambiguación). DSA (Digital Signature Algorithm, en español Algoritmo de Firma digital) es un estándar del Gobierno Federal de los Estados Unidos de América o FIPS para… …   Wikipedia Español

  • Don Sannella — Saltar a navegación, búsqueda Don Sannella Residencia  Escocia Nacionalidad …   Wikipedia Español

  • L4 (micronúcleo) — L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la …   Wikipedia Español

  • Ole-Johan Dahl — Nombre Ole Johan Dahl Nacimiento 12 de oct …   Wikipedia Español

  • Olimpíada Matemática Argentina — La Olimpíada Matemática Argentina es una competencia de desenvolviemiento matemático, destinada a desarrollar la capacidad de razonar de los alumnos de educación primaria y secundaria de Argentina. Es organizada por la Fundación Olimpíada… …   Wikipedia Español

  • Programación defensiva — Saltar a navegación, búsqueda La programación defensiva (defensive programming en inglés) es una forma de diseño defensivo aplicada al diseño de software que busca garantizar el comportamiento de todo elemento de una aplicación ante cualquier… …   Wikipedia Español

  • Sellado de tiempo confiable — El Sellado de tiempo confiable es el proceso de llevar, de manera segura, la cuenta del tiempo tanto de la creación como de la modificación de un documento electrónico. La seguridad aquí significa que nadie ni siquiera el dueño del documento… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”