https://www.cambridge.org/core/books/abs/algorithmic-information-theory/formalisms-for-computation-register-machines-exponential-diophantine-equations-pure-lisp

https://www.cambridge.org/core/books/abs/algorithmic-information-theory/formalisms-for-computation-register-machines-exponential-diophantine-equations-pure-lisp/8C070477977E01F8AFC4A9CA7153112D 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.