Sequential Model
Automata

TODO

• Finite state machines
• Post machines (Post–Turing machines and tag machines)
• Pushdown automata
• Register machines
  • Random-access machines
• Turing machines

Functional Model

TODO

• Abstract rewriting systems
• Combinatory logic
• General recursive functions
• Lambda calculus

Concurrent Model

TODO

• Actor model
• Cellular automaton
• Interaction nets
• Kahn process networks
• Logic gates and digital circuits
• Petri nets
• Synchronous Data Flow