Tag
ambiguity
- Oct 19, 2026 Ambiguity, Equivalence, and Other Undecidable Grammar Questions Membership in a context-free language is decidable, but asking whether two grammars denote the same language is not, and neither is asking whether one is ambiguous. computation theory
- Mar 9, 2026 Counting Derivations: Algebraic Generating Functions and the Growth of Parse Trees A grammar can be compiled into a polynomial system whose power-series coefficients count parse trees, and the resulting algebraic function explains why ambiguity grows exponentially. computation theory
- Sep 18, 2023 Quantifier Scope and Undefined Terms in Requirement Statements Why "all users can see their orders" admits several incompatible readings, how scope ambiguity survives review, and what a rewrite into explicit quantifiers costs. software engineering
- Nov 16, 2022 GLR Parsing and the Graph-Structured Stack How a generalized LR parser follows every viable parse at once by replacing the stack with a DAG, how ambiguity is packaged into a shared forest, and what the merging costs. compilers
- Apr 24, 2022 Derivations, Sentential Forms, and What a Parse Tree Actually Records How a grammar rewrites strings step by step, why leftmost derivations and parse trees are two views of one object, and where the correspondence breaks when a grammar is ambiguous. computation theory