Il progetto consiste nella creazione di un simulatore di una Macchina di Turing non deterministica a singolo nastro.
Il file di ingresso viene fornito tramite stdin mentre l'output inviato via stdout. Il formato del file di ingresso è descritto nella specifica.