643 search results - page 1 / 129 » Parsing And Derivational Equivalence |
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...
ACL
2001
13 years 8 months ago
2001
Polarized dependency (PD-) grammars are proposed as a means of efficient treatment of discontinuous constructions. PD-grammars describe two kinds of dependencies : local, explicit...
FLOPS
2004
Springer
14 years 5 days ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
TCS
1998
13 years 6 months ago
1998
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
JOLLI
2007
13 years 6 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...