Theory of Computation Notes

Models of Computation

  • * Finite State Automaton
  • * Pushdown Automaton
  • * Buche Automaton
  • * Rabin Automaton
  • * Cellular Automaton
  • * Stack Automaton
  • * Timed Automaton
  • * I/O Automaton
  • * Thread Automaton
  • * Tree Stack Automaton
  • * Linear Bounded Automaton
  • * Turing Machine
  • * Mealy Machine
  • * Moore Machine
  • * Register Machine
  • * RAM Machine
  • * Counter Machine
  • * Lambda calculus
  • * General recursive functions
  • * Combinatory Logic
  • * Abstract rewriting systems
  • * Logic Gates
  • * Digital Circuits
  • * Kahn process networks
  • * Petri Nets
  • * Interaction nets
  • * Actor model
  • * Process Calculus
  • * Ambient Calculus
  • * π-calculus
  • Transition System

Resources