Church-Rosser Controller Rewriting Systems and Equivalence problems for Deterministic Context-Free Languages

GĂ©raud SĂ©nizergues. Church-Rosser Controller Rewriting Systems and Equivalence problems for Deterministic Context-Free Languages. Inf. Comput., 81(3):265-279, June 1989.

Abstract

Abstract is missing.