about
blog
notes (current)
misc
explore
study

Home Notes University Notes Part A Courses MT23 Models of Computation Lectures 16

Models of Computation MT23, I Models of Computation MT23, II Models of Computation MT23, III Models of Computation MT23, IV Models of Computation MT23, IX Models of Computation MT23, V Models of Computation MT23, VI Models of Computation MT23, VII Models of Computation MT23, VIII Models of Computation MT23, X Models of Computation MT23, XI Models of Computation MT23, XII Models of Computation MT23, XIII Models of Computation MT23, XIV Models of Computation MT23, XV Models of Computation MT23, XVI

Basic definitions Complexity Context-free grammars Decideability DFAs Kozen's axioms Languages Myhill-Nerode theorem NFAs Non-deterministic pushdown automata Post correspondence problem Pumping lemma Regular expressions Regular languages Rice's theorem Turing machines

Lectures

Created: December 20, 2023 | Updated: December 20, 2023 | Read markdown | About these notes

Lecture - Models of Computation MT23, I^U
Lecture - Models of Computation MT23, II^U
Lecture - Models of Computation MT23, III^U
Lecture - Models of Computation MT23, IV^U
Lecture - Models of Computation MT23, IX^U
Lecture - Models of Computation MT23, V^U
Lecture - Models of Computation MT23, VI^U
Lecture - Models of Computation MT23, VII^U
Lecture - Models of Computation MT23, VIII^U
Lecture - Models of Computation MT23, X^U
Lecture - Models of Computation MT23, XI^U
Lecture - Models of Computation MT23, XII^U
Lecture - Models of Computation MT23, XIII^U
Lecture - Models of Computation MT23, XIV^U
Lecture - Models of Computation MT23, XV^U
Lecture - Models of Computation MT23, XVI^U

© Copyright 2026 Olly Britton. Last updated: June 06, 2026.