regular pumping lemma a^n b^n : n >= 0 Human 4 aaaabbbb 2 2 2 X = aa; Y = aa; Z = bbbb; I = 2; <i>Failed</i>