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