Enable JQuery execution.
Abilitare l'esecuzione di JQuery
Use an SVG enabled browser (eg Chrome, Firefox) for a proper visualization of the content.
See instructions here.
Per una corretta fruizione dei contenuti del sito deve essere utilizzato un browser abilitato alla visualizzazione di SVG (es. Chrome, Firefox).
Vedere le istruzioni qui.

Simulatore della Macchina di Turing

Download

Programmi eseguibili (versione aggiornata 1.2 del 27/09/2020)

Versione Linux

Versione Win32

Versione Win64

 

Scaricare ed estrarre il file eseguibile.

 

Nota

Potrebbe essere necessario assegnare i permessi di esecuzione una volta scaricati i programmi.

 

Eventuali problemi

Se si notano problemi nel funzionamento o nell'usabilità, riceverò con piacere le segnalazioni e cercherò di sistemare eventuali problemi quanto prima.

Vedere la pagina contatto.

 

Avvertenza

Per quanto mi riguarda applico la massima attenzione per evitare che i programmi contengano malware. Tuttavia non esiste la sicurezza assoluta, mai, in nessun caso. Il sito stesso potrebbe venire violato a mia insaputa e gli eseguibili compromessi. Pertanto si consiglia sempre di effettuare una scansione degli eseguibili con un software antivirus una volta scaricati.

 

Esempi

Nel file archivio sono presenti la descrizione della MdT (programma) e un file di dati di esempio

 

M.d.T. che inverte un numero binario

 

M.d.T. che incrementa un numero binario

 

M.d.T. che somma due numeri binari

 

 

Istruzioni

L'inserimento di un programma e dei simboli del nastro è agevolato tramite l'utilizzo di combobox.

All'inserimento di un valore mai usato prima le liste associate alle caselle vengono aggiornate in modo tale da risparmiare all'utente ulteriori digitazioni potendo limitarsi a selezionare il valore desiderato.

Il programma viene salvato in formato testuale leggibile e facilmente manipolabile dall'utente che non voglia servirsi dell'interfaccia grafica.

L'esecuzione della simulazione è controllabile passo-passo oppure si può avanzare a velocità regolabile.

 

Stato

Può essere costituito da uno o più dei seguenti caratteri:

abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ 0123456789

 

Simbolo

Può essere costituito da uno o più dei seguenti caratteri:

abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ 0123456789

oppure uno solo dei seguenti caratteri

!#$%&'*+-./:;<=>?@[\]^{|}_

 

Per indicare "cella vuota" lasciare la casella vuota. Nel programma testuale indicare la cella vuota con il carattere _ (underscore)

 

Spostamento

> indica lo spostamento a destra

< indica lo spostamento a destra

- indica di non muoversi

 

 

Programma di esempio che illustra il formato testuale utilizzato

(MUOVEDX,0,MUOVEDX,0,>)

(MUOVEDX,1,MUOVEDX,1,>)

(MUOVEDX,_,INCREMENTA,_,<)

(INCREMENTA,0,STOP,1,-)

(INCREMENTA,1,INCREMENTA,0,<)

(INCREMENTA,_,STOP,1,-)

 

Immagine1