A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
2009
Journal of Logic, Language and Information
Second-order abstract categorial grammars (de Groote 2001) and hyperedge replacement grammars (Bauderon and Courcelle 1987, Habel and Kreowski 1987) are two natural ways of generalizing "context-free" grammar formalisms for string and tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. 1991) or linear context-free rewriting systems (Weir 1988). In this paper, we give a simple, direct proof of
doi:10.1007/s10849-009-9109-6
fatcat:onj4chqsxbf7lhysmd3hwc3cwa