𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The strong equivalence of ET0L grammars

✍ Scribed by Gabriel Istrate

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
444 KB
Volume
62
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

Forbidding ET0L grammars
Forbidding ET0L grammars
✍ Alexander Meduna; Martin Ε vec πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 312 KB
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