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.debug | |
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.debug')
0 files changed, 0 insertions, 0 deletions