100% de satisfacción garantizada Inmediatamente disponible después del pago Tanto en línea como en PDF No estas atado a nada 4,6 TrustPilot
logo-home
Notas de lectura

A-level AQA Computer Science THEORY OF COMPUTATION

Puntuación
-
Vendido
-
Páginas
11
Subido en
15-08-2025
Escrito en
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

Mostrar más Leer menos
Institución
Grado

Vista previa del contenido

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.

Escuela, estudio y materia

Nivel de Estudio
Editores
Tema
Curso

Información del documento

Subido en
15 de agosto de 2025
Número de páginas
11
Escrito en
2025/2026
Tipo
Notas de lectura
Profesor(es)
Nil
Contiene
Todas las clases

Temas

$11.41
Accede al documento completo:

100% de satisfacción garantizada
Inmediatamente disponible después del pago
Tanto en línea como en PDF
No estas atado a nada

Conoce al vendedor
Seller avatar
leyladavidson

Documento también disponible en un lote

Conoce al vendedor

Seller avatar
leyladavidson Bedford College
Seguir Necesitas iniciar sesión para seguir a otros usuarios o asignaturas
Vendido
1
Miembro desde
1 año
Número de seguidores
0
Documentos
20
Última venta
9 meses hace
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

Lee mas Leer menos
0.0

0 reseñas

5
0
4
0
3
0
2
0
1
0

Por qué los estudiantes eligen Stuvia

Creado por compañeros estudiantes, verificado por reseñas

Calidad en la que puedes confiar: escrito por estudiantes que aprobaron y evaluado por otros que han usado estos resúmenes.

¿No estás satisfecho? Elige otro documento

¡No te preocupes! Puedes elegir directamente otro documento que se ajuste mejor a lo que buscas.

Paga como quieras, empieza a estudiar al instante

Sin suscripción, sin compromisos. Paga como estés acostumbrado con tarjeta de crédito y descarga tu documento PDF inmediatamente.

Student with book image

“Comprado, descargado y aprobado. Así de fácil puede ser.”

Alisha Student

Preguntas frecuentes