Models of Computation

12345678
Across
  1. 2. The process of performing calculations or executing algorithms
  2. 5. A type of machine used to model computation processes
  3. 6. Describes what computers can compute according to a famous hypothesis
  4. 7. A function that calls itself as part of its definition
  5. 8. A formal language used to describe the syntax of programming languages
Down
  1. 1. A type of automaton used in formal language theory
  2. 3. The study of algorithmic problem-solving
  3. 4. The branch of formal logic used in algorithm specification