about
blog
notes (current)
misc

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 | 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: May 16, 2026.