Introduzione allo studio dell'informatica teorica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 77:
 
Sinteticamente possiamo dire che la computazione può essere pensata come un procedimento suddiviso in passi.
Volendo essere un po' più rigorosi si potrebbe dire che la computazione è una successione finita o infinita di passi; si veda a tal proposito l'articolo di Leslie Lamport {{citation needed}}.
 
Descrivere la computazione significa quindi rappresentare la successione dei passi di cui si compone.