list 3 autom Sections AutomataTheory Doc