Written by students who passed Immediately available after payment Read online or as PDF Wrong document? Swap it for free 4.6 TrustPilot
logo-home
Class notes

A-level AQA Computer Science THEORY OF COMPUTATION

Rating
-
Sold
-
Pages
11
Uploaded on
15-08-2025
Written in
2025/2026

Level up your skills with these expertly written notes covering the theory of computation topic from the AQA A-level Computer Science specification. Whether you're preparing for Paper 1 or reinforcing your understanding throughout the year, this resource is designed to make complex concepts crystal clear (used and made by a consistently A/A* student). What’s Inside: - Detailed explanations - Clear breakdown to reinforce understanding - Key terminology to help you apply concepts effectively - Structured summaries aligned with the AQA spec for efficient revision

Show more Read less
Institution
Course

Content preview

THEORY OF COMPUTATION.

ABSTRACTION AND AUTOMATION.

Problem solving is the process of finding a solution to a difficult or
complex issue.

An algorithm is a sequence of steps that can be followed to complete a
task. An algorithm always terminates rather than in a loop.

Pseudocode: used to plan programming, it is a way of describing
instructions that is independent of any programming language. This allows
it to be understood by many.

Assignment: ARROWS <-

Selection: IF, ELSE, END IF

Iteration: FOR, END FOR, WHILE, END WHILE

Abstraction is omitting unnecessary details from a problem to simplify
therefore you can find a solution easier.

Representational: A representation of a problem arrived at by
removing unnecessary details from the problem.

Abstraction by generalisation / categorisation: A grouping by
common characteristics to arrive at a hierarchical relationship of the
“is a kind of” type.



Information hiding hides all details of an object that do not
contribute to its essential characteristics.

Procedural abstraction involves breaking down a complex model into
a series of reusable procedures. The actual values used in a
computation are abstracted away and a computational method is
achieved. Such as multiplication rather than addition.

Functional abstraction: Procedural abstraction results in a procedure.
Abstracting further disregards the method of a procedure and
results in just a function.

In data abstraction, specific details of how data is represented are
abstracted away, allowing new kinds of data structures to be
created from previously defined data structures. Data abstraction
forms the basis of abstract data types.

In problem abstraction/ reduction details are removed from a
problem until it is represented in a way that is solvable. This works

, because a simplified problem is often like a problem that has
already been solved, meaning that a solution for the problem can be
found.

Decomposition divides a problem into a series of smaller sub-problems.
These smaller problems can be solved individually or further divided until
all parts of the original problem have been solved.

Composition can be used to combine procedures to form a larger system.
Composition is used in abstract data types, where a complex abstract
data type is formed for smaller and simpler data types.

Automation is the process of putting abstractions of real-world
phenomena into action to solve problems. Automation is achieved by
creating algorithms which are later implemented in code, implementing
models in data structures and finally executing the code on the data
structures.

FINITE STATE MACHINES.




Basic finite machines^ second is with inputs.
Third is with outputs. An example input might
be 1000101. Completed ends up ABBABA.

Sets

A set is an abstract data type which contains unordered values; many
languages support this. Sets can contain other sets. E.g F: {“Pig”, “Goat”,
“Cow”, “Sheep”}.

Set comprehension is a different way of creating this; rather than
specifying all the items individually, we can select what we want from a
more general set.

Written for

Study Level
Examinator
Subject
Unit

Document information

Uploaded on
August 15, 2025
Number of pages
11
Written in
2025/2026
Type
Class notes
Professor(s)
Nil
Contains
All classes

Subjects

$8.40
Get access to the full document:

Wrong document? Swap it for free Within 14 days of purchase and before downloading, you can choose a different document. You can simply spend the amount again.
Written by students who passed
Immediately available after payment
Read online or as PDF

Get to know the seller
Seller avatar
leyladavidson

Also available in package deal

Get to know the seller

Seller avatar
leyladavidson Bedford College
Follow You need to be logged in order to follow users or courses
Sold
2
Member since
1 year
Number of followers
0
Documents
22
Last sold
1 month ago
Leyla's A-level Geography and Computing Notes

Welcome to my store! These notes are getting me consistent A and A*, so enjoy!! Everything is £5.99 :D I would love if you could pop a review after purchases since it helps a lot :) Each document is: - Aligned with current specifications and mark schemes - Structured for efficient revision and deep comprehension - Enriched with case studies, and technical terminology - Ideal for students aiming for top grades and conceptual clarity

Read more Read less
0.0

0 reviews

5
0
4
0
3
0
2
0
1
0

Recently viewed by you

Why students choose Stuvia

Created by fellow students, verified by reviews

Quality you can trust: written by students who passed their tests and reviewed by others who've used these notes.

Didn't get what you expected? Choose another document

No worries! You can instantly pick a different document that better fits what you're looking for.

Pay as you like, start learning right away

No subscription, no commitments. Pay the way you're used to via credit card and download your PDF document instantly.

Student with book image

“Bought, downloaded, and aced it. It really can be that simple.”

Alisha Student

Working on your references?

Create accurate citations in APA, MLA and Harvard with our free citation generator.

Working on your references?

Frequently asked questions