There are at least four sub-classes found in the literature. In ascending order of complexity:
* Counter machine - the most primitive and reduced theoretical model of computer hardware. This machine lacks indirect addressing, and instructions are in the finite state machine in the manner of