A Máquina de Turing Universal (MTU) consiste em uma Máquina de Turing (MT) que recebe como entrada uma outra Máquina de Turing e uma entrada para esta e a executa sob essa entrada. O projeto consiste em implementar uma Máquina de Turing Universal Determinística (além de ser determinística, a entrada será uma Máquina de Turing determinística) conforme a especificação que segue.