summaryrefslogtreecommitdiffstats
path: root/misc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-28 10:40:57 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-28 10:40:57 +0100
commit10559224d661e323fb4fe10957583339a76ed98a (patch)
tree2e466f64db94ea23ed295350aad5b93c78cc4d7b /misc
parent452c9e6d0d24325ed59658dd01820bf15365427d (diff)
downloadinf105-10559224d661e323fb4fe10957583339a76ed98a.tar.gz
inf105-10559224d661e323fb4fe10957583339a76ed98a.tar.bz2
inf105-10559224d661e323fb4fe10957583339a76ed98a.zip
Fix proof of standardization of automata.
The case where the added state should have been final was missing. Thanks to Antoine for pointing this out.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions