Notes - Models of Computation MT23, Pumping lemmaUNotes - Models of Computation MT23, Myhill-Nerode theoremU