Matthew S. Collins Jonathan J. Oliver Efficient Induction of Finite State Automata http://arxiv.org/abs/1302.1530 2013 CoRR abs/1302.1530 db/journals/corr/corr1302.html#abs-1302-1530