Summary
The 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.
Similar content being viewed by others
References
Cook, S.A.: An observation on time-storage trade off. J. Comput. Systems Sci., 9, 308–316 (1974)
Dobkin, D., Lipton, R.J., Reiss, S.: Linear programming is log-space hard for 308-01. Information Processing Lett., 8, 96–97 (1979)
Galil, Z.: Hierarchies of complete problems. Acta Informat., 6, 77–88 (1976)
Goldschlager, L.M.: A unified approach to models of synchronous parallel machines. Proc. 10th Annual ACM Symp. on Theory of Computing, pp. 89–94, 1978
Goldschlager, L.M.: The monotone and planar circuit value problems are log space complete for 308-02. SIGACT News, 9, 25–29 (1977)
Goldschlager, L.M.: A space efficient algorithm for the monotone planar circuit value problem. Information Processing Lett., 10, 25–27 (1980)
Hopcroft, J.E., Ullman, J.D.: Formal languages and their relation to automata. Reading, Mass.: Addison-Wesley 1969
Jones, N.D., Laaser, W.T.: Complete problems for deterministic polynomial time. Theor. Comput. Sci., 3, 105–117 (1977)
Ladner, R.E.: The circuit value problem is log space complete for 308-03. SIGACT News, 7, 18–20 (1975)
Lewis, P.M., Stearns, R.E., Hartmanis, J.: Memory bounds for recognition of context-free and context-sensitive languages. IEEE Conference Record on Switching Circuit Theory and Logical Design. pp. 191–202, 1965
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goldschlager, L.M. ɛ-productions in context-free grammars. Acta Informatica 16, 303–308 (1981). https://doi.org/10.1007/BF00289308
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289308