Near Matches
Ignore Exact
Everything
2
Myhill Theorem proof that the balanced braces language is not regular