I would like to draw a deterministic finite-state machine which was created from a nondeterministic finite-state machine with Graphviz. To do so, I need to have labels like "{q1, q2}". When I try to do so with DOT, I get the following error:
$ dot -Tpng dfsm.gv -o myDeterministicFiniteStateMachine.png
Error: dfsm.gv:4: syntax error near line 4
context: node [shape = doublecircle]; "{q2, >>> f}", <<< "{f}";
Is there any way to get curly braces in a Graphviz label?