Finite state transducer library. Intended for data representations of
state transitions, leaving actions to consumers of the library.

Simplistic visualization builder. Leaves calling
graphviz tools up to the caller