𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic equivalence of covering attribute grammars

✍ Scribed by Gregor V. Bochmann

Publisher
Springer
Year
1979
Tongue
English
Weight
785 KB
Volume
8
Category
Article
ISSN
1573-7640

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The strong equivalence of ET0L grammars
The strong equivalence of ET0L grammars
✍ Gabriel Istrate πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 444 KB

We define a version of structural equivalence of ETOL grammars, called strong equivalence, that takes into account their matrix structure, and prove its decidability. @ 1997 Elsevier Science B.V.

The equivalence of Nonassociative Lambek
The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
✍ Maciej Kandulski πŸ“‚ Article πŸ“… 1988 πŸ› John Wiley and Sons 🌐 English βš– 699 KB

Besides this introduction the paper contains four sections. I n section 1 we describe three equivalent axiomatizations of NLP. the third one playing important role in what follows. I n section 2 we deal with a system AC: (the Ajdukiewicz calculus with product) and prove the equivalence of AC-grammar