grammar 1 Sections AutomataTheory Doc

Def P Q == Q P

In prior sections: core well fnd