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