@dblp

Direct Proofs of the Undecidability of the Equivalence Problem for Sentential Forms of Linear Context-Free Grammars and the Equivalence Problem for 0L Systems.

. Inf. Process. Lett., 1 (6): 233-235 (1972)

Links and resources

Tags