[[Notes - Models of Computation MT23, Pumping lemma]]U [[Notes - Models of Computation MT23, Myhill-Nerode theorem]]U