© 1974 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
A note on left factored languages
INFELOR Systems Engineering Institute, Budapest, Hungary
In the papers of Wood (1969, 1970) left factored (LF) grammars and languages are defined. In this paper we show that Lemma 8 in Wood (1970) does not hold, and therefore the proof of Lemma 6 is incorrect. We prove a theorem which gives a necessary and sufficient condition for an unambiguous grammar to be an LF grammar. On the basis of the theorem we give an example of a language, which can be used in the proof of Lemma 6. In Section 5 we give an extension to Foster's SID (see Foster, 1968), which transforms context-free grammars to LF form.
Received September 1972.
* INFELOR Systems Engineering Institute, 1281 Budapest, P.O.B. 10, Hungary