The ACM Computing Classification System (1991)
F.1.1 Models of Computation
- Automata (e.g., finite, push-down, resource-bounded)
- Bounded-action devices (e.g., Turing machines, random access machines)
- Computability theory
- Relations among models
- Self-modifying machines (e.g., neural networks)
- Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)