Gregor Gramlich Ralf Herrmann Learning Unary Automata. 147-165 2007 12 Journal of Automata, Languages and Combinatorics 1-2 db/journals/jalc/jalc12.html#GramlichH07