Abstract

The assumption that the DCFL L has an LR(l) grammar in reverse Greibach Normal Form yields a subclass of the DCFL’s (the quasi realtime DCFL’s, as the number of $\varepsilon$ moves is bounded). However, the bound of Theorem 3.6 is seen to hold even without this assumption as is seen from the following lemma which assumes nothing about the form of the LR(l) grammar from which the DPDA is derived.