FSM Library Defining, Creating and Visualizing FSMs

Defining FSAs SrcDestInCost FinalCost  Define FSA in a text file  Useful commands fsmcompile fsmprint fsmdraw automaton file

Defining FSTs SrcDstInOutCost FinalCost  Define FST in a text file  Useful commands fsmcompile fsmprint fsmdraw transducer file

Labels  Three Types input labels output labels state labels

Using Labels  You can use symbolic labels instead of numbers Need to associate labels with numbers SrcDestInCost 00red.5 01green.3 12blue 12yellow FinalCost LabelNum red1 green2 blue3 yellow4 automaton file labels file

Compiling FSMs  Use fsmcompile FSAs fsmcompile fsa.file FSTs fsmcompile –t fst.file FSMs with Labels fsmcompile [-t] –i input.labels [-o output.labels] [-s state.labels] fsm.file

Visualizing FSMs  Text Output Use fsmprint fsmprint {label.files} < machine.fsm  Graphical Output Use fsmdraw Output in PostScript, JPEG, GIF, etc fsmdraw output.x Format: jpg, ps, gif, etc.