diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-28 10:40:57 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-28 10:40:57 +0100 |
| commit | 10559224d661e323fb4fe10957583339a76ed98a (patch) | |
| tree | 2e466f64db94ea23ed295350aad5b93c78cc4d7b /misc | |
| parent | 452c9e6d0d24325ed59658dd01820bf15365427d (diff) | |
| download | inf105-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