Sets, Regular Expressions and Regular Languages
AQA 75174.4.2A-levelLesson packSubscription
Also online
This worksheet marks itself
Set it as homework or classwork and every answer is marked as pupils go, with feedback on what they got wrong. The scores go straight into your mark book, so you can see who needs help before the next lesson.
- 11 questions
- 45 marks
- about 60 minutes
- marked instantly
Question types: short answer, multiple choice, true or false, fill the gap, calculation.
About this resource
AQA A-level Computer Science (7517) Paper 1, 4.4.2.2 Maths for regular expressions (sets), 4.4.2.3 Regular expressions, and 4.4.2.4 Regular language — set notation and comprehension, finite/infinite/countably infinite sets, cardinality, Cartesian product, subset/proper subset, set operations (mem…
32 slides.
Lesson outline
- Do Now — Retrieval: FSMs From Last Lesson
- I-Do: Set Notation and Set Comprehension
- Quick Check — Reading Set Comprehension Notation
- I-Do: The Empty Set, and Set Construction in Code
- I-Do: Compact Representation of an Infinite Set
- Hinge Check — Is {0ⁿ1ⁿ | n ≥ 1} Finite or Infinite?
- I-Do: Finite, Infinite, Countably Infinite Sets — and Cardinality
- We-Do — Check Your Understanding: Membership, Cardinality, Finite/Infinite
- I-Do: The Cartesian Product of Two Sets
- We-Do — Worked Example: Cartesian Product
- I-Do: Subset, Proper Subset, Countable Set
- Hinge Check — Subset or Proper Subset?
Unit bundlePaper 1
More from 4.4 Theory of computation
- Lesson pack · 4.4.1Abstraction and AutomationSubscription
- Lesson pack · 4.4.2.1Finite State MachinesFree
- Lesson pack · 4.4.3.1Context-Free Languages: BNF and Syntax DiagramsSubscription
- Lesson pack · 4.4.4Classification of Algorithms (Big-O, Tractability, Halting)Subscription
- Lesson pack · 4.4.5.1Turing MachinesSubscription
- Knowledge organiser · 4.4Theory of Computation (Part 1) — Abstraction, Automation & Finite State MachinesFree
- Knowledge organiser · 4.4Theory of Computation (Part 2) — Sets, Regular Expressions & BNFSubscription
- Knowledge organiser · 4.4Theory of Computation (Part 3) — Classification of Algorithms & Turing MachinesSubscription


