diff options
| author | David A. Madore <david+git@madore.org> | 2016-12-01 11:56:43 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-12-01 11:56:43 +0100 |
| commit | af0d7fb5e770459ea3a468af12a4371730fa6098 (patch) | |
| tree | 18af41dce48f51ce5777f5f9ac99c2db5b297cac /figs | |
| parent | 5e0904e096d82d7c97a5777ad84146272db4848d (diff) | |
| download | inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.gz inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.tar.bz2 inf105-af0d7fb5e770459ea3a468af12a4371730fa6098.zip | |
Fix mistake in determinization of automaton.
Diffstat (limited to 'figs')
| -rw-r--r-- | figs/example4det.dot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/figs/example4det.dot b/figs/example4det.dot index 7121690..3af6aa5 100644 --- a/figs/example4det.dot +++ b/figs/example4det.dot @@ -12,5 +12,6 @@ digraph example4det { q01 -> q02 [label="b"]; q012 -> q012 [label="a",topath="loop above"]; { rank="same"; q012 -> q02 [label="b"]; } - q02 -> q0 [label="a,b"]; + q02 -> q0 [label="b"]; + q02 -> q01 [label="a"]; } |