myhill nerode Sections AutomataTheory Doc

Def P Q == Q P

In prior sections: core well fnd