Models of Computation

123456
Across
  1. 4. A type of automaton used in formal language theory
  2. 6. The branch of formal logic used in algorithm specification
Down
  1. 1. Describes what computers can compute according to a famous hypothesis
  2. 2. A formal language used to describe the syntax of programming languages
  3. 3. A type of machine used to model computation processes
  4. 5. The study of algorithmic problem-solving