Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 185:
Indichiamo con <math>q_n</math> la successione che descrive la sequenza di stati necessaria per attuare la computazione desiderata. Potremo scrivere:
# <math>q_1</math>: perimetro;
# <math>q_2</math>: semiperimetro;
# <math>q_3</math>: lunghezza del lato mancante;
# <math>q_4</math>: area.
Questa descrizione è senz'altro più descrittiva della precedente; tuttavia la mancanza delle azioni costringe a dedurle in base alla successione degli stati.
| |||