summaryrefslogtreecommitdiffstats
path: root/figs/ex1p2c.dot
diff options
context:
space:
mode:
Diffstat (limited to 'figs/ex1p2c.dot')
-rw-r--r--figs/ex1p2c.dot8
1 files changed, 5 insertions, 3 deletions
diff --git a/figs/ex1p2c.dot b/figs/ex1p2c.dot
index 84317c1..b7ce3d3 100644
--- a/figs/ex1p2c.dot
+++ b/figs/ex1p2c.dot
@@ -19,18 +19,20 @@ digraph ex1p2c {
q05 -> q056 [label="b"];
q02 -> q023 [label="a"];
q056 -> q0567 [label="b"];
- q056 -> q027 [label="a"];
+ q056 -> q027 [label="a",lblstyle="auto,below"];
q023 -> q0237 [label="a"];
q023 -> q057 [label="b"];
{ rank="same"; q056; q023; }
q0567 -> q027 [label="a",lblstyle="auto,below"];
q027 -> q057 [label="b"];
- q057 -> q0237 [label="a"];
+ q057 -> q0237 [style="invis"];
q0237 -> q057 [label="b"];
q057 -> q027 [label="a"];
- q027 -> q0567 [label="b",lblstyle="auto,above"];
+ q027 -> q0567 [style="invis"];
{ rank="same"; q057; q027; }
{ rank="same"; q0567; q0237; }
q0237 -> q0237 [label="a",topath="loop above"];
q0567 -> q0567 [label="b",topath="loop below"];
+ q057 -> q0567 [label="b"];
+ q027 -> q0237 [label="a"];
}