Types of computers, mainly theoretical.

Some of these are not possible to construct, but may be Oracles.


People have attempted to design LISP machines:

Godel machines and Turing machines are often available as Oracles.