automata 5 Sections AutomataTheory Doc

Def P Q == Q P

In prior sections: core well fnd