summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--figs/parsetree2.dot18
-rw-r--r--figs/parsetree2b.dot18
2 files changed, 36 insertions, 0 deletions
diff --git a/figs/parsetree2.dot b/figs/parsetree2.dot
new file mode 100644
index 0000000..8b58a52
--- /dev/null
+++ b/figs/parsetree2.dot
@@ -0,0 +1,18 @@
+graph parsetree2 {
+ node [texmode="math",shape="none"];
+ S0 [label="S"];
+ S1 [label="S"];
+ S2 [label="S"];
+ a0 [label="a"];
+ S3 [label="S"];
+ S4 [label="S"];
+ a1 [label="a"];
+ a2 [label="a"];
+ S0 -- S1;
+ S0 -- S2;
+ S1 -- a0;
+ S2 -- S3;
+ S2 -- S4;
+ S3 -- a1;
+ S4 -- a2;
+}
diff --git a/figs/parsetree2b.dot b/figs/parsetree2b.dot
new file mode 100644
index 0000000..48829d7
--- /dev/null
+++ b/figs/parsetree2b.dot
@@ -0,0 +1,18 @@
+graph parsetree2b {
+ node [texmode="math",shape="none"];
+ S0 [label="S"];
+ S1 [label="S"];
+ S2 [label="S"];
+ S3 [label="S"];
+ S4 [label="S"];
+ a0 [label="a"];
+ a1 [label="a"];
+ a2 [label="a"];
+ S0 -- S1;
+ S0 -- S2;
+ S1 -- S3;
+ S1 -- S4;
+ S2 -- a2;
+ S3 -- a0;
+ S4 -- a1;
+}