Formal language theory
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Non-regularity proofsRegular language theory
automata-languages
- Pumping lemma teststandalonestandardautomata-languages
- Myhill-NerodeEquivalence-class countingstandardautomata-languages