Register machine (nonfiction)
From Gnomon Chronicles
In mathematical logic and theoretical computer science, a register machine is a generic class of abstract machines used in a manner similar to a Turing machine.
All the models are Turing equivalent (see Turing completeness).