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

Rozenberg, G.

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

DSpace/Manakin Repository

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

Rozenberg, G.

(1972) Information Processing Letters, volume 1, issue 6, pp. 233 - 235

(Article)

Download/Full Text

Open Access version via Utrecht University Repository

Keywords: formal languages, linear context-free grammars, OL systems, equivalence problems

ISSN: 0020-0190

Publisher: Elsevier

See more statistics about this item