ɛ-productions in context-free grammars

SummaryThe effect of ɛ-productions on the space complexity of various context-free language problems is investigated. It is shown that the removal of ɛ-productions from a context-free grammar can probably not be achieved with small storage space. This explains the apparent discrepancy between two different results in the literature on the membership problem. By way of contrast, it is shown that the space complexity of the emptiness and the finiteness problems are independent of the presence of ɛ-productions.