com.github.julianthome:autorex (maven): An FSM to regular expression converter
Keywords: automaton|regular-expression|state-elimination|transformations|translation