list 3 autom Sections AutomataTheory Doc

Def P Q == Q P

In prior sections: core well fnd