Stato computazionale: variabili, binding e transizioni
⚙️ Variabili, binding e transizioni di stato: dalla semantica classica alla reversibilità quantistica Dopo aver visto come bit, byte e registri rappresentano l'informazione, dobbiamo compiere un passo ulteriore: capire come quell'informazione cambia durante l'esecuzione di un programma. Una variabile permette di ritrovare un valore; il binding stabilisce che cosa indica il suo nome; un aggiornamento trasforma la situazione corrente in una situazione successiva. Da questa…
Leggi l’indagine →