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