Section outline

    • La seconda delle due dispense di una settimana fa è stata riveduta e corretta.

    • Il teorema DPR File PDF

      Viene presentato un linguaggio di programmazione "a registri", Turing-completo. Poi viene esposta una traduzione dei programmi scritti in tale linguaggio di programmazione in sistemi di equazioni diofantee esponenziali: i parametri che compaiono in tali equazioni descrivono il grafo della funzione computata dal programma tradotto; il sistema di equazioni è single-fold (vale a dire, non è sottodeterminato: per quei valori dei parametri per i quali ha soluzione, ne ha soltanto una).