Re: Introducing Synthesis: a Finite State Machine generator

[mratsim]

Something like `Graphviz` or `GraphML` to display the state machine with its 
transition visually.