This jar ball can be used as: java -jar LexicalStateTransitionAnalyzer.jar The analysis is output to the standard error and the graph is output to the standard output. java -jar LexicalStateTransitionAnalyzer.jar > a.dot # will generate the dot file with the graph. the errors are reported to # standard error. java -jar LexicalStateTransitionAnalyzer.jar # will give the supported options.