Procediment efectiu

Un procediment efectiu o método efectiu és una seqüència de passos repetible i determinista; és dir, una en que sempre s'aniran obtenint els mateixos conjunts de valors d'eixida per als mateixos conjunts de valors d'entrada.

Característiques

Tots els algoritmes són procediments efectius. No obstant, no tots els procediments efectius són algoritmes, degut a que els algoritmes posseïxen propietats adicionals que els primers no tenen.

Els procediments efectius sempre donen una resposta correcta, es completen en un número finito de passos i treballa per a totes les instàncies de problemes de classe.

Eixemples

• Una recepta de cuina és un procediment efectiu, si suponem que la seua série de passos sempre du a un mateix resultat (per eixemple, un pastiç). No obstant, no és un algoritme, puix depén del cuiner el cóm quede eixe pastiç, inclús tenint els mateixos ingredients i instruments de treball.

• Un còdic font que conté un bucle infinit NO és un algoritme encara que estiga implementat formalment en algun llenguage de programació, ya que mai es detindrà. No obstant, sí es considera un procediment efectiu, perque cada iteración és en sí mateixa determinista, i una successió de iteraciones també ho serà.

Vore també

• Algoritme determinista
• Procés (informàtica)