Type-Checking for Pattern-Based Tree Transformations

arXiv:2610.11337 · cs.FL, cs.CL · Submitted 2026-10-08 · Read on arXiv

cs.FL, cs.CL

Submitted: 2026-10-08

Updated: 2026-10-08

Terminology

• Core — 10× in this paper · explained in 2 episodes
• Extended Transition Relation — 3× in this paper
• Alternation — 2× in this paper · explained in 1 episode
• Elias — 1× in this paper · explained in 2 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Related papers

• Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations