Simulatore di Macchine di Turing
I partecipanti alla gara utilizzano un simulatore di Macchine di Turing.
Il simulatore e' stato sviluppato dalla Buena Vista University (BVU)
ed ha vinto un premio di 75000 USD nella Sun MycroSystems JAVA programming
contest dello scorso anno.
Per poter utilizzare il simulatore per la gara, e' stato necessario
apportare alcune modifiche (con l'accordo della BVU) per consentire il
salvataggio dei programmi ed un funzionamento multi-utente e per semplificare
l'interfaccia.
Per motivi di copyright non e' possibile distribuire il programma simulatore.
E' tuttavia disponibile una versione semplificata del simulatore utilizzato
per la gara.
Versione semplificata del simulatore
L'interfaccia di questa versione mostra una macchina di Turing che corre
lungo il nastro e presenta:
-
due finestre in cui e' possibile modificare la lista di regole della MdT
ed il nastro iniziale
-
un bottone CARICA per caricare le regole di una MdT
-
i bottoni ESEGUI, ESEGUI VELOCE e STOP per provare la MdT (eventualmente
modificata).
I programmi eseguibili sono le soluzioni ai problemi della prima edizione
della gara sviluppati dalla squadra prima classificata.
N.B.: Sebbene la versione semplificata del simulatore non consenta
di salvare nuovi programmi, e' possibile scrivere ed eseguire nuovi programmi
caricando un qualsiasi problema e sostituendo le regole pre-definite con
le nuove regole.
Cliccare
qui
per utilizzare la versione semplificata del simulatore.
Per favore segnalate eventuali problemi inviando un messaggio.
Altri simulatori
In seguito alle richieste ricevute, indichiamo un paio tra i tanti simulatori
di macchine di Turing disponibili in rete. Si noti pero' che ogni simulatore
presenta caratteristiche diverse e che il simulatore che sara' utilizzato
per la gara e' quello la cui versione semplificata e' stata sopra descritta.
Esercitarsi con carta e penna rimane sempre un ottimo "allenamento" per
la gara.