Maths & Computer ScienceMaths & Computer Science

ALEVEL · computer science · AQA

4.4 Theory of computation

Explore abstraction, problem-solving and theoretical models of computation covered by the AQA A-Level Computer Science specification.

Specification

Specification sections

Choose a section to explore the MCS teaching resources.

4.4

Theory of computation

Concepts and theoretical models used to understand computation and problem-solving.

Abstraction and Automation

Subtopic: 4.4.1

Problem-Solving

Subtopic: 4.4.1.1

Finite State Machines

Subtopic: 4.4.2.1

Sets

Subtopic: 4.4.2.2

Regular Expressions

Subtopic: 4.4.2.3

Backus–Naur Form

Subtopic: 4.4.3

Classification of Algorithms

Subtopic: 4.4.4

Turing Machines

Subtopic: 4.4.5