active automata learning section