fsmtore From automata to expressions. The state-elimination method. Usage $ lein run filename or $ java -jar fsmtore-0.1.0-standalone.jar filename