A formal proof of strong equivalence for a grammar conversion from LTAG to HPSG-style

Reference. A formal proof of strong equivalence for a grammar conversion from LTAG to HPSG-style

Naoki Yoshinaga, Yusuke Miyao, Jun’ichi Tsujii · TAG+ · 2002 · parsing · Web

This paper presents a sketch of a formal proof of strong equivalence, where both grammars generate equivalent parse results, between any LTAG (Lexicalized Tree Adjoining Grammar: Schabes, Abeille and Joshi (1988)) G and an HPSG (Head-Driven Phrase Structure Grammar: Pollard and Sag (1994))-style grammar converted from G by a grammar conversion (Yoshinaga and Miyao, 2001). Our proof theoretically justifies some applications of the grammar conversion that exploit the nature of strong equivalence (Yoshinaga et al., 2001b; Yoshinaga et al., 2001a), applications which contribute much to the developments of the two formalisms

Cite

Cite as @yoshinaga2002formal (helia, typst) · \cite{yoshinaga2002formal} (LaTeX)

BibTeX

bibtex · 7 lines

@inproceedings{yoshinaga2002formal,
 title = {A Formal Proof of Strong Equivalence for a Grammar Conversion from LTAG to HPSG-style},
 author = {Yoshinaga, Naoki and Miyao, Yusuke and Tsujii, Jun’ichi},
 year = {2002},
 booktitle = {Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+ 6)},
 pages = {187--192}
}

hayagriva YAML (typst)

yaml · 12 lines

yoshinaga2002formal:
  type: article
  title: A Formal Proof of Strong Equivalence for a Grammar Conversion from LTAG to HPSG-style
  author:
  - Yoshinaga, Naoki
  - Miyao, Yusuke
  - Tsujii, Jun’ichi
  date: 2002
  page-range: 187-192
  parent:
    type: proceedings
    title: Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+ 6)

Download: yoshinaga2002formal.bib · yoshinaga2002formal.yml

Cites 21 works (0 here)

External (21)

A Lexicalized Tree Adjoining Grammar for English (2001)
Grammar conversion from LTAG to HPSG (2001)
Efficient LTAG parsing using HPSG parsers (2001)
Resource sharing among HPSG and LTAG communities by a method of grammar conversion from FB-LTAG to HPSG (2001)
Adapting HPSG-to-TAG compilation to wide-coverage grammars (2000)
Practical Experiments in Parsing using Tree Adjoining Grammars (2000)
An HPSG Parser with CFG Filtering (2000)
Strong Generative Capacity (1999)
TAG and HPSG (1998)
Translating the XTAG English Grammar to HPSG (1998)
Compilation of HPSG to TAG (1995)
Tree Insertion Grammar: A Cubic-Time Parsable Formalism that Lexicalizes Context-Free Grammar without Changing the Tree Produced (1995)
Building a large annotated corpus of English: the Penn Treebank (1994)
Head-Driven Phrase Structure Grammar (1994)
Les nouvelles syntaxes: grammaires d'unification et analyse du français (1993)
The Logic of Typed Feature Structures (1992)
The X-bar Theory of Phrase Structure (1990)
Parsing strategies with 'Lexicalized' grammars: Application to Tree Adjoining Grammars (1988)
A Study of Tree Adjoining Grammars (1987)
Formal properties of grammar (1963)
Processors for Infinite Codes of Shannon-Fano type (1962)