finite sets Sections AutomataTheory Doc