The ACM Computing Classification System (1998)

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 between models
  • Self-modifying machines (e.g., neural networks)
  • Unbounded-action devices (e.g., cellular automata, circuits, networks of machines)