nfa 1 Sections AutomataTheory Doc

Def ij == ji

In prior sections: int 2 list 1 list 3 autom exponent