MdTU

Macchina di Turing Universale

È una macchina elaborata da Turing che permette di analizzare e simulare l'evoluzione di ogni sua macchina.

Lo sviluppo di questo strumento, e prima ancora la sua teoria Entscheidungsproblem ha permesso di risolvere la teoria della decibilità (problema della decisione).