Collected notes

To discuss

• Prefix acc MemoBT
• Exact literals proof

Action items

• “Valorization” scope:

  • Send PR to Rust Regex with the Filtering optimization

  • Prefix accelerated MemoBT

  • Optimizing epsilon searching

    For the regex /abc/ instead of doing exact literal searches, we can generalize to doing a prefix search of “abc” and matching on \delta(/abc/, “abc”) = // which just immediately returns the result

  • Exact literals

  • Multiple literals