Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems
Publication date
1972-12
Authors
Rozenberg, G.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
formal languages, linear context-free grammars, OL systems, equivalence problems