Rendering automata

Hi all,

I'm using GraphViz to render weighted automata. They are generalizations of the usual DFA/NFA: there are states, and transitions. In the weighted case, in addition to a label, the transitions may have a weight (denoted in angle brackets in my example below). Initial and final states also have a weight.

Recent comments

Syndicate content