100% satisfaction guarantee Immediately available after payment Both online and in PDF No strings attached 4.2 TrustPilot
logo-home
Lecture 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









Whoops! We can’t load your doc right now. Try again or contact support.

Document information

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

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.
£7.66
Get access to the full document:

100% satisfaction guarantee
Immediately available after payment
Both online and in PDF
No strings attached

Get to know the seller
Seller avatar
leyladavidson

Also available in package deal

Thumbnail
Package deal
A-level AQA Computer Science PAPER ONE PACKAGE NOTES
-
4 2025
£ 30.64 More info

Get to know the seller

Seller avatar
leyladavidson Bedford College
View profile
Follow You need to be logged in order to follow users or courses
Sold
1
Member since
10 months
Number of followers
0
Documents
20
Last sold
7 months ago
Leyla's A-level Master Notes in CS and GEO!

Welcome to my store, your destination for academically rigorous, exam-focused resources tailored for AQA A-Level Computer Science and OCR Geography who achieves A/A* consistently . Curated by a high-achieving student from Bedford College, these notes are designed to elevate your understanding and performance. 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 exams and reviewed by others who've used these revision notes.

Didn't get what you expected? Choose another document

No problem! You can straightaway pick a different document that better suits what you're after.

Pay as you like, start learning straight 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 smashed it. It really can be that simple.”

Alisha Student

Frequently asked questions