diff options
author | David A. Madore <david+git@madore.org> | 2016-11-23 15:41:06 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-11-23 15:43:41 +0100 |
commit | f6780feb6aae79f7a476547cb68b37b97bc5d585 (patch) | |
tree | 7a3bbd6834cb7d044ca6d34d39157ef88015a49f /figs/example2.dot | |
parent | 83a2cb4675358bbc4df0b50dbf25d8c295330da7 (diff) | |
download | inf105-f6780feb6aae79f7a476547cb68b37b97bc5d585.tar.gz inf105-f6780feb6aae79f7a476547cb68b37b97bc5d585.tar.bz2 inf105-f6780feb6aae79f7a476547cb68b37b97bc5d585.zip |
Incomplete DFAs. Change formating of self-loops in graphs.
Diffstat (limited to 'figs/example2.dot')
-rw-r--r-- | figs/example2.dot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/figs/example2.dot b/figs/example2.dot index 982c3bc..0daecc0 100644 --- a/figs/example2.dot +++ b/figs/example2.dot @@ -5,9 +5,9 @@ digraph example2 { q1 [style="state",label="1"]; q2 [style="state,final",label="2"]; edge [texmode="math",lblstyle="auto"]; - q0 -> q0 [label="b,c"]; + q0 -> q0 [label="b,c",topath="loop above"]; q0 -> q1 [label="a"]; - q1 -> q1 [label="a,c"]; + q1 -> q1 [label="a,c",topath="loop above"]; q1 -> q2 [label="b"]; - q2 -> q2 [label="a,b,c"]; + q2 -> q2 [label="a,b,c",topath="loop above"]; } |