A Descriptive Characterisation of Indexed Grammars
Indexed grammars are shown to correspond to an existential monadic second-order logic over phrase structure trees, extended with a single existential quantifier ranging over a certain type of unary function. Indexed grammars are also shown to correspond to contingency grammars, a strengthening of co...
Gespeichert in:
| Veröffentlicht in: | Grammars : a journal of mathematical research on formal and natural languages 2001-01, Vol.4 (3), p.205-262 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Indexed grammars are shown to correspond to an existential monadic second-order logic over phrase structure trees, extended with a single existential quantifier ranging over a certain type of unary function. Indexed grammars are also shown to correspond to contingency grammars, a strengthening of context-free grammars that make use of such unary functions. 29 References. Adapted from the source document |
|---|---|
| ISSN: | 1386-7393 |