𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the equivalence and containment problems for context-free languages

✍ Scribed by J. E. Hopcroft


Publisher
Springer
Year
1969
Tongue
English
Weight
407 KB
Volume
3
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The inclusion problem for some subclasse
✍ 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