https://www.cambridge.org/core/books/abs/algorithmic-informa...

I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP

Gregory. J. Chaitin

> And in Chapter 4 we present a register machine interpreter for this LISP, and then compile it into a diophantine equation.