Model Checking Parse Trees

Anudhyan Boral, Sylvain Schmitz

Parse trees are fundamental syntactic structures in both computational linguistics and compilers construction. We argue in this paper that, in both fields, there are good incentive…