Il Realismo nella Finzione

Zettelkasten...

Una macchina astratta rappresenta una macchina fisica perché esegue algoritmi

Una macchina astratta rappresenta in modo immateriale un calcolatore elettronico. Vediamo come si può affermare una cosa simile.

Definizione di Macchina Astratta

\( \mathcal{L} \) è un qualsiasi linguaggio di programmazione.

\( \mathcal{M_L} \) è una macchina astratta per \( \mathcal{L} \).

\( \mathcal{M_L} \) è un insieme di algoritmi e strutture dati. Tale insieme consente di memorizzare ed eseguire programmi scritti in \( \mathcal{L} \).


Un programma in \( \mathcal{L} \) è un insieme di istruzioni. Le istruzioni sono scritte utilizzando la sintassi di \( \mathcal{L} \).

Un programma permette di rappresentare in modo formale un algoritmo.

Un algoritmo formalizzato può essere capito ed eseguito da un esecutore.

Un calcolatore digitale è progettato per eseguire algoritmi.

Di conseguenza \( \mathcal{M_L} \) è una versione semplificata di un calcolatore elettronico.


Una \( \mathcal{M_L} \) è composta da una memoria e da un interprete.

La memoria è il magazzino per i programmi e per i dati.

L'interprete esegue i programmi.