macchina di Turing universale

In teoria della computazione, si dice macchina di Turing universale (talvolta abbreviato in MTU) una macchina di Turing capace di simulare le evoluzioni di ogni macchina di Turing. Tale macchina è stata proposta da Turing nel suo fondamentale lavoro del 1936 e gli ha consentito di dare una risposta negativa al problema della decidibilità, il cosiddetto "Entscheidungsproblem", posto da David Hilbert nel 1928.