Dominio, finitezza, chiarezza, eseguibilità, correttezza ed efficienza: perché una procedura può terminare sui numeri pari e divergere sui dispari.
Dominio, terminazione e garanzie di un procedimento Un procedimento supera tutte le prove eseguite su numeri pari. Riceve poi un numero dispari e continua a lavorare senza fermarsi. Per giudicarlo dobbiamo conoscere una condizione preliminare: doveva accettare soltanto numeri pari, oppure qualunque intero non negativo? Lo stesso comportamento può rispettare il primo impegno e violare il secondo. Formalizzare la nozione di algoritmo significa rendere espliciti questi impegni…
Leggi l’indagine →