Generic Ada Automata Library