# Myhill Theorem proof that the "a^n b^n" language is not regular (idea)

See all of Myhill Theorem proof that the "a^n b^n" language is not regular, no other writeups in this node.

See all of Myhill Theorem proof that the "a^n b^n" language is not regular, no other writeups in this node.