summaryrefslogtreecommitdiffstats
path: root/figs/ex3pt1.dot
diff options
context:
space:
mode:
Diffstat (limited to 'figs/ex3pt1.dot')
-rw-r--r--figs/ex3pt1.dot22
1 files changed, 22 insertions, 0 deletions
diff --git a/figs/ex3pt1.dot b/figs/ex3pt1.dot
new file mode 100644
index 0000000..1628103
--- /dev/null
+++ b/figs/ex3pt1.dot
@@ -0,0 +1,22 @@
+graph ex3pt1 {
+ node [texmode="math",shape="none"];
+ S0 [label="S"];
+ S1 [label="S"];
+ a0 [label="a"];
+ S2 [label="S"];
+ S3 [label="S"];
+ a1 [label="a"];
+ S4 [label="S"];
+ b0 [label="b"];
+ b1 [label="b"];
+ b2 [label="b"];
+ S0 -- S1;
+ S0 -- a0;
+ S0 -- S2;
+ S1 -- S3;
+ S1 -- a1;
+ S1 -- S4;
+ S2 -- b0;
+ S3 -- b1;
+ S4 -- b2;
+}