Regressió infinita: diferència entre les revisions

Contingut suprimit Contingut afegit
m Correcció tipogràfica: espais sobrants
m Corregit: es realitz mitjançant > es fa mitjançant
Línia 27:
La funció <math>f</math> es defineix a si mateixa constantment, sense tenir condicions inicials, com ara la seqüència de Fibonacci.
 
Per detectar i evitar la regressio infinita en els [[programa informàtic]]s s'utilitza una [[semàntica]] de [[verificació]] per [[recursió]]. Les [[Demostració matemàtica| proves]] que no hi ha un [[bucle infinit]] es realitzfa mitjançant un [[invariant de cicle]] (vegeu també [[invariant (matemàtiques) | invariants]]). Aquesta prova no sempre és possible per a un procediment en particular (vegeu [[Problema de la parada]]).
 
==Consciència ==