This PR fixes various bugs in transducer operations, discovered during benchmark generation from runs of Noodler on transducer-plus and webapp benchmarks.
The PR fixes:
setting levels in concatenation, and
leftmost reluctant replacement insertion of the replacement literal.
The PR adds:
assignment operators in alphabets,
parameters for number of levels for creation of predefined NFTs, and
This PR fixes various bugs in transducer operations, discovered during benchmark generation from runs of Noodler on transducer-plus and webapp benchmarks.
The PR fixes:
The PR adds: