nhg.gv 339 B

12345678910111213
  1. digraph automata_0 {
  2. size ="8.5, 11";
  3. node [shape = circle];
  4. 0 [ style = filled, color=lightgrey ];
  5. 2 [ shape = doublecircle ];
  6. 0 -> 2 [ label = "a " ];
  7. 0 -> 1 [ label = "other " ];
  8. 1 -> 2 [ label = "a " ];
  9. 1 -> 1 [ label = "other " ];
  10. 2 -> 2 [ label = "a " ];
  11. 2 -> 1 [ label = "other " ];
  12. "Machine: a" [ shape = plaintext ];
  13. }