sen-ky-blog - Tumblr blog

sen-ky-blog · 9 years ago

Photo

Una Macchina di Turing è un modello, ideato dal matematico Alan Turing, che rappresenta un calcolatore semplificato in grado di eseguire degli algoritmi, ovvero delle sequenze di operazioni.

Una macchina di Turing in effetti altro non è che un computer ideale in grado di eseguire algoritmi che leggano, manipolino e scrivano simboli utilizzando un nastro di input, un nastro di output e dei “registri” dove conservare temporaneamente i simboli in uso. Questa astrazione ha posto le basi nel secolo scorso per la nascita delle scienze informatiche.

La Turing-completezza è la proprietà di un sistema di poter simulare le computazioni di una qualunque Macchina di Turing. Detto più semplicemente, un sistema è Turing-Completo se può calcolare tutti i programmi che potrebbero essere calcolati da una qualsiasi Macchina di Turing, che sono inoltre gli stessi programmi che potrebbero essere calcolati, ad esempio, dal vostro computer di casa.

Dwarf Fortress e Minecraft sono videogiochi di tipo Sandbox ovvero, come i recinti di sabbia per bambini, invece che guidare il giocatore gli mettono a disposizione vari strumenti per interagire col mondo di gioco creando strutture anche molto complesse (ad esempio circuiti). Liberi di sviluppare qualsiasi cosa, gli utenti di questi due giochi sono stati in grado di produrre prove empiriche delle potenzialità dei modelli arrivando a costruire computer completamente programmabili all'interno del mondo di gioco, dimostrandone così la Turing-Completezza. Grazie alla fama ottenuta da Minecraft è possibile trovare anche video di Macchine di Turing in azione nel gioco (link sotto).

Magic è un gioco di carte fantasy in cui ogni giocatore ha un proprio mazzo assortito che crea scegliendo fra carte di cinque possibili colori e varie tipologie (terra, incantesimo, creatura, artefatto ecc.). Le carte creatura a loro volta sono suddivise in tipi (zombie, yeti ecc.) e sia le sottocategorie che la tipologia generale possono incrociarsi (ad esempio creatura sia zombie che yeti ma anche sia creatura che artefatto).

Per quanto, trattandosi di un gioco di carte, ci sia meno libertà che in un videogioco come quelli sopracitati, è comunque possibile, sfruttando le potenzialità offerte dal gran numero di carte con relativi “poteri” e combinazioni, creare una Macchina di Turing all'interno del sistema di gioco e avere una combinazione di carte che, potenzialmente, potrebbe simulare in una partita reale i nastri e i registri di una macchina di Turing usando le tipologie di carte e creature insieme ai loro punteggi di forza/resistenza e lasciando al giocatore la possibilità di decidere il comportamento dell’ipotetico programma simulato (nei link una descrizione in dettaglio).

http://plato.stanford.edu/entries/turing-machine/ http://www.toothycat.net/~hologram/Turing/HowItWorks.html http://dwarffortresswiki.org/index.php/DF2014:Computing https://www.youtube.com/watch?v=1X21HQphy6I https://www.youtube.com/watch?v=kBDNzMqgJiM

Editing by: Giuliano Gambacorta

128 notes · View notes