𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On equivalence and subclass containment problems for deterministic context-free languages

✍ Scribed by E.P. Friedman; S.A. Greibach

Book ID
113161968
Publisher
Elsevier Science
Year
1978
Tongue
English
Weight
726 KB
Volume
7
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The inclusion problem for some subclasse
The inclusion problem for some subclasses of context-free languages
✍ Peter R.J. Asveld; Anton Nijholt πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 131 KB

By a reduction to Post's Correspondence Problem we provide a direct proof of the known fact that the inclusion problem for unambiguous context-free grammars is undecidable. The argument or some straightforward modiΓΏcation also applies to some other subclasses of context-free languages such as linear