summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2022-02-06 23:35:42 +0800
committerJSDurand <mmemmew@gmail.com>2022-02-06 23:50:22 +0800
commitaaa12504c6095b2cdfa213a3d4b269bbd5e7038a (patch)
tree9513833a65f0f2687b238fe6d0415bd5877ed8ae /configure
parent3d709982b66314b23b5957041580dd4918561a53 (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