The equivalence problem for LL- and LR-regular grammars

Anton Nijholt
1982 Journal of computer and system sciences (Print)  
The equivalence problem for context-free grammars is "given two arbitrary grammars, do they generate the same language ?" Since this is undecidable in general attention has been restricted to decidable subclasses of the context-free grammars. For example, the classes of U(k) grammars and real-time strict deterministic grammars. In this paper it is shown that the equivalence problem for U-regular grammars is decidable by reducing it to the equivalence problem for real-time strict deterministic
more » ... ammars. Moreover, we show that the U-regular equivalence problem is a special case of a more general equivalence problem which is also decidable. Our techniques can also be used to show that the equivalence problem for LR-regular grammars is decidable if and only if the equivalence problem for U?(O) grammars is decidable.
doi:10.1016/0022-0000(82)90044-7 fatcat:wh2ic6wcofel5ohovcdwno6cue