diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-02-06 23:35:42 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-02-06 23:50:22 +0800 |
| commit | aaa12504c6095b2cdfa213a3d4b269bbd5e7038a (patch) | |
| tree | 9513833a65f0f2687b238fe6d0415bd5877ed8ae /configure | |
| parent | 3d709982b66314b23b5957041580dd4918561a53 (diff) | |
dfa: add the type of "ranged dfas"
Strictly speaking, they are not DFA's at all. They contain ranges
which can determine whether or not a character belongs to the
specified predicate terminal.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions