SearcharxivSearch

arXiv subjects

Huan Vo

Publications and source records attributed to Huan Vo.

2 recordsLinked to original sources

An Empirical Comparison of General Context-Free Parsers

Parsing underpins a vast range of software engineering tasks, from compilers and static analyzers to language servers and fuzz testing tools. Yet most parsers deployed in practice are deterministic (LL or LR), forcing developers not only to contort their grammars to fit the parser, but to simplify the very languages they design sacrificing expressiveness for the sake of parseability. General context-free parsers eliminate this constraint. Yet, despite decades of algorithmic development, no rigorous head-to-head comparison exists across the major families of parsing algorithms. We present the first unified, controlled benchmark of six generalized parsing algorithms: CYK, Valiant, Earley, GLL, RNGLR, and BRNGLR, plus deterministic LL(1) and LR(1) baselines, all implemented in Rust with shared data structures and parse-tree extraction, and evaluated across 22 grammars ranging from simple expressions to full C++ and Java. Our results show that the cost of generality is lower than widely assumed. On deterministic grammars, the GLR family incurs only a 3x median slowdown over LR(1), with a narrow and predictable variance. GLR is the clear performance winner among generalized parsers and a practical default choice for software engineering tools.

cs.FL

On Meta-monoids and the Fox-Milnor Condition

In this paper we introduce an algebraic structure known as meta-monoids which is particularly suited for the study of knot theory. We define a meta-monoid called $Γ$-calculus that gives an Alexander invariant of tangles. We believe that $Γ$-calculus gives a unifying framework to study the Alexander polynomial. Specifically, we rederive certain important properties of the Alexander polynomial, most notably the Fox-Milnor condition on the Alexander polynomials of ribbon knots. We argue that our proof has some potential for generalization which may help tackle the slice-ribbon conjecture.

math.QA