macro-machines 0.8.1

digraph {
  rankdir=LR
  node [shape=record, style=rounded, fontname="Sans Bold"]
  edge [fontname="Sans"]
  subgraph cluster_M {
    label=<M<BR ALIGN="LEFT"/>>
    shape=record
    style=rounded
    fontname="Sans Bold Italic"
    INITIAL [label="", shape=circle, width=0.2, style=filled, fillcolor=black]
    R [label=<<B>R</B>>]
    S [label=<<B>S</B>>]
    T [label=<<B>T</B>>]
    INITIAL -> S
    "*" -> "R" [label=<<FONT FACE="Sans Italic">ToR</FONT>>]
    "*" -> "T" [label=<<FONT FACE="Sans Italic">ToT</FONT>>]
    "T" -> "S" [label=<<FONT FACE="Sans Italic">ToS</FONT>>]
    R -> "*" [style=dashed, color=gray]    S -> "*" [style=dashed, color=gray]    T -> "*" [style=dashed, color=gray]  }
}