Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form
ACM SIGPLAN via YouTube
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn a novel method for transforming context-free grammars into LL(1) form while preserving their original semantics in this conference presentation from Onward! 2025. Discover how to model grammar rules and their semantics as typed tree nodes, enabling the elimination of LL(1) conflicts without losing semantic meaning. Explore the construction of continuation-passing style parsers that produce parse trees matching the original grammar structure. Examine practical applications in domain-specific language design for Java, where this approach achieves size and type complexity linear to the transformed grammar size. Understand how this tree-based representation addresses the common challenge of manual semantic alignment that typically occurs when transforming grammars for parser construction. Gain insights into formal language theory, grammarware, and parsing techniques that enable the creation of simple yet efficient parsers while maintaining semantic integrity throughout the transformation process.
Syllabus
[Onward!'25] Semantics-preserving Transformation of Context-free Grammars into LL(1) Form
Taught by
ACM SIGPLAN