summaryrefslogtreecommitdiff
path: root/chain/src/atom
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-02-28 22:14:15 +0800
committerJSDurand <mmemmew@gmail.com>2023-02-28 22:14:15 +0800
commitb306fe88edcb3d7c7628e155f67fd7e1c8c29c19 (patch)
tree2e83af12ad669a9f356d697c02c12abe272b2855 /chain/src/atom
parentb63a9c05d7f86320b6cfbb4569b1880f2b804eb9 (diff)
Add a type Reducer for recording extra reductions
In the chain-rule machine, we need to skip through edges whose labels are "accepting", otherwise the time complexity will be high even for simple grammars. This implies that we will skip some "jumping up" in the item derivation forest. So we need to record these extra jumping up, in order to jump up at a later point. This Reducer type plays this role. But I still need more experiments to see if this approach works out as I intended.
Diffstat (limited to 'chain/src/atom')
0 files changed, 0 insertions, 0 deletions