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