# Lecture - Models of Computation MT23, V

> Source: https://ollybritton.com/notes/uni/part-a/mt23/models-of-computation/lectures/v/ · Updated: 2023-10-23 · Tags: uni, lecture

- [Notes - Models of Computation MT23, Kozen's axioms](https://ollybritton.com/notes/uni/part-a/mt23/models-of-computation/notes/kozens-axioms/)
- [Notes - Models of Computation MT23, Pumping lemma](https://ollybritton.com/notes/uni/part-a/mt23/models-of-computation/notes/pumping-lemma/)

---
Olly Britton — https://ollybritton.com. Machine-readable index: https://ollybritton.com/llms.txt