Notes - Models of Computation MT23, Kozen’s axiomsU Notes - Models of Computation MT23, Pumping lemmaU