Findings:
- bn (user)
- "a^n b^n" language
- pumping lemma proof that the "a^n b^n" language is not regular
- Myhill Theorem proof that the "a^n b^n" language is not regular
- BNS
- bn³ (user)
If you Log in you could create a "bn/betwork" node. If you don't already have an account, you can register here.