weibeld · October 31, 2017 22:27
diff --git a/graphviz.dot b/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 <[email protected]> 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"];
 }
diff --git a/graphviz.pdf b/graphviz.pdf
diff --git a/graphviz.svg b/graphviz.svg
	// 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 <[email protected]> 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"];
	}