HP Labs Technical Reports

Zebu: A Tool for Specifying Reversible LALR(1) Parsers

Laubsch, Joachim



Abstract: Zebu is part of a set of tools for the translation of formal languages. Zebu contains a LALR(1) parser generator like YACC does. Aside from generating a parser, Zebu will also generate the inverse of a parser (unparser). In contrast to YACC, the semantics is not given in terms of "routines" but declaratively in terms of typed feature structures. The ability to declaratively define a reversible grammar, together with a rewrite-rule mechanism (Zebu-RR) for transforming abstract syntax trees constitute the basic tools for specifying translators for formal languages.

Back to Index

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]