Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-21 13:20:03 -0700 (Thu, 21 Apr 2005)
Revision: 889
Log message:
Fixed a subtle error regarding shortest match.
When a final state is reached, any NFA component of the DFA
state should be removed if either of the following hold:
1. the state is part of the search prefix
2. the state came from a state in the search prefix, unless
it is the final state being considered.
Previously, we did part 1, but not part 2.
| Changes | Path |
| +14 -9 | libmojave/util/lm_lexer.ml |
| +0 -0 | libmojave/util/lm_parser.ml |
| Binary | omake/tests/awk/Awk.in |
| Deleted | omake/tests/awk/Test |
| Added | omake/tests/awk/Test1 |
| Properties | omake/tests/awk/Test1 |
| Added | omake/tests/awk/Test2 |
| Properties | omake/tests/awk/Test2 |