13th Annual Symposium on Switching and Automata Theory (swat 1972) (1972)

Oct. 25, 1972 to Oct. 27, 1972

ISSN: 0272-4847

pp: 7-18

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SWAT.1972.18

ABSTRACT

This note defines a new equivalence relation among systems of recursion equations and a method for assigning context-free grammars to these systems, such that (1) The new equivalence implies strong equivalence; (2) Systems are equivalent in the new sense iff their grammars generate the same language; (3) There is a nontrivial decidable class of systems whose grammars have the decidability properties of LL(k) grammars. Thus, the decidability of generative equivalence for LL(k) grammars mitigates the general undecidability of strong equivalence between arbitrary systems of recursion equations.

INDEX TERMS

CITATION

B. K. Rosen, "Program equivalence and context-free grammars,"

*13th Annual Symposium on Switching and Automata Theory (swat 1972)(FOCS)*, vol. 00, no. , pp. 7-18, 1972.

doi:10.1109/SWAT.1972.18

CITATIONS

SEARCH