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)