Near Matches
Ignore Exact
Everything
2
Myhill Theorem proof that the "a^n b^n" language is not regular