A small Graphviz "Hello World" program

graphviz.dot

// A small Graphviz "Hello World" program
//
// Usage:
//
//   dot -Tpdf graphviz.dot >out.pdf
//
// See all supported output formats with:
//
//   dot -Txxx
//
// Alternative layout algorithms: neato, fdp, twopi, circo (instead of dot)
//
// Daniel Weibel <danielmweibel@gmail.com> 14 March 2014
//----------------------------------------------------------------------------//

// A small finite state machine (FSM)
digraph fsm {
	// Graph attributes
	rankdir=LR;

	// Node attributes
	start [shape=plaintext];
	1 [shape=doublecircle];
	0 [label="¬p\n¬q"];
	node [shape=circle];

	// Edges and edge attributes
	start -> 0;
	0 -> 0 [label = "a,b"];
	0 -> 1 [label = "b"];
	1 -> 1 [label = "b"];
	1 -> 2 [label = "a"];
	2 -> 2 [label = "a,b"];
}

graphviz.pdf

graphviz.svg