diff options
Diffstat (limited to 'figs')
| -rw-r--r-- | figs/ex1p2c.dot | 8 |
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"]; } |