Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens

arXiv:2608.03473 · cs.FL, cs.DC, cs.PL · Submitted 2026-08-04 · Read on arXiv

cs.FL, cs.DC, cs.PL

Submitted: 2026-08-04

Updated: 2026-10-25

Terminology

• Benchmark — 1× in this paper · explained in 2 episodes
• Planner — 1× in this paper · explained in 3 episodes
• Tokenization — 1× in this paper · explained in 2 episodes

Related papers

• Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations
• When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?