automata 6 Sections AutomataTheory Doc

Def AB == B < A

In prior sections: int 1 bool 1 int 2 list 1 list 3 autom exponent action sets det automata