Wikiversità

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

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Riga 165:
Come si può notare questa descrizione riesce a rendere l'idea senza che sia necessario includere informazioni aggiuntive a dimostrazione del fatto che è più espressiva rispetto alla precedente.
 
==Computazione come successione di transizionicoppie <math>\text{(stato, azione)}</math>==
Anche in questa sezione rappresenteremo la stessa computazione esaminata negli altri due casi, ma impiegando la logica delle transizioni.
 
Indicando con <math>t_np_n</math> la successione che indica la sequenza di transizioni necessarie per attuare la computazione desiderata potremo scrivere:
# <math>t_1p_1</math>: semiperimetro = (perimetro, dimezzare)
# <math>t_2p_2</math>: lunghezza del lato mancante = (semiperimetro, sottrarre)
# <math>t_3p_3</math>: area = (lunghezza del lato mancante, moltiplicare)
Come si può notare confrontando le tre situazioni, questa tecnica di rappresentazione è indubbiamente la più espressiva e sarà quella impiegata durante il corso.
 
Estratto da "https://it.wikiversity.org/wiki/Introduzione_allo_studio_dell%27informatica_teorica"