๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems

โœ Scribed by G. Rozenberg

Book ID
113161680
Publisher
Elsevier Science
Year
1972
Tongue
English
Weight
447 KB
Volume
1
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The unsolvability of the equality proble
The unsolvability of the equality problem for sentential forms of context-free grammars
โœ Meera Blattner ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 258 KB

The equivalence problem for nondeterministic e-free generalized machines is known to be undecidable. It is shown here that the equivalence problem for these machines can be reduced to the equality problem of the sentential forms of a particular type of linear context-free grammars with a center-mark