gistfile1.hs

digraph vending_machine {
  node [shape = point]; start
  node [shape = square]; open
  node [shape = circle];
  start -> "0¢" [ label = "Reset" ];

  // Nickels
  "0¢" ->  "5¢" [ label = "Nickel" ];
  "5¢" ->  "10¢" [ label = "Nickel" ];
  "10¢" -> "15¢" [ label = "Nickel" ];
  "15¢" -> "20¢" [ label = "Nickel" ];
  "20¢" -> "25¢" [ label = "Nickel" ];
  "25¢" -> "30¢" [ label = "Nickel" ];
  "30¢" -> "35¢" [ label = "Nickel" ];
  "35¢" -> "40¢" [ label = "Nickel" ];
  "40¢" -> "45¢" [ label = "Nickel" ];
  "45¢" -> "50¢" [ label = "Nickel" ];

  // Dimes
  "0¢" ->  "10¢" [ label = "Dime" ];
  "10¢" -> "20¢" [ label = "Dime" ];
  "20¢" -> "30¢" [ label = "Dime" ];
  "30¢" -> "40¢" [ label = "Dime" ];
  "40¢" -> "50¢" [ label = "Dime" ];

  // Quarters
  "0¢" -> "25¢" [ label = "Quarter" ];
  "25¢" -> "50¢" [ label = "Quarter" ];

  "50¢" -> open [ shape = square]

  // Loops
  "0¢"  ->  "0¢" [ style = dotted ]
  "5¢"  ->  "5¢" [ style = dotted ]
  "10¢" -> "10¢" [ style = dotted ]
  "15¢" -> "15¢" [ style = dotted ]
  "20¢" -> "20¢" [ style = dotted ]
  "25¢" -> "25¢" [ style = dotted ]
  "30¢" -> "30¢" [ style = dotted ]
  "35¢" -> "35¢" [ style = dotted ]
  "40¢" -> "40¢" [ style = dotted ]
  "45¢" -> "45¢" [ style = dotted ]

  "50¢" -> "50¢" [ label = "Any coin" style = dotted ]
}