Abstract
We show that all quasi-realtime one-way multi-counter languages can be generated by a context-free ɛ-free programmed grammar (even under the free interpretation). The result can be used to obtain a new and almost trivial proof of the fundamental theorem that arbitrary context-free programmed grammars can generate all recursively enumerable languages. The proof of our result also yields the following, interesting characterization: the quasi-realtime one-way multi-counter languages are precisely the ɛ-limited homomorphic images of (free) context-free programmed production languages. It follows that the (free) derivation languages of context-free or even context-free programmed grammars, which were known to be context-sensitive, are in fact contained in the family of context-free ɛ-free programmed languages.
Similar content being viewed by others
References
Book, R.V., Greibach, S.: Quasi-realtime languages, Math. Syst. Th. 4, 97–111 (1970)
Fischer, P.C.: Turing machines with restricted memory access, Inf. & Control 9, 364–379 (1966)
Ginsburg, S.: Algebraic and automata-theoretic properties of Formal Languages, Fund. St. in Computer Sci. #2. Amsterdam: North-Holland/Amer. Elsevier 1975
Hartmanis, J., Berman, L.: A note on tape-bounds for SLA language processing, Conf. record 16th Ann. Symp. Foundations of Computer Science, Berkeley, Oct. 13–15, pp. 65–70 1975
Hopcroft, J.E., Ullman, J.D.: Formal languages and their relation to automata, Reading, Mass.: Addison-Wesley, 1969
Igarashi, Y.: The tape-complexity of some classes of Szilard languages, SIAM J. Computing 6, 460–466 (1977)
Jeanrond, H.-J.: Some remarks on programmed grammars, Diplomarbeit, Fachbereich f. Angewandte Mathematik u. Informatik, Universität des Saarlandes, Saarbrücken, 1975
Minsky, M.L.: Computation: Finite and infinite machines, Englewood Cliffs, NJ: Prentice-Hall, 1967
Rosenkrantz, D.J.: Programmed grammars and classes of formal languages, JACM 16, 107–131 (1969)
Salomaa, A.: Formal languages, New York, NY: Acad. Press, 1973
van Leeuwen, J.: Rule-labeled programs: a study of a generalization of context-free grammars and some classes of formal languages, Ph.D. Thesis, Dept. of Mathematics, University of Utrecht, Utrecht, 1972
van Leeuwen, J.: Extremal properties of non-deterministic time-complexity classes. In: International Computing Symposium (E. Gelenbe and D. Potier, eds.) pp. 61–64, Amsterdam: North-Holland/American Elsevier, 1975
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Leeuwen, J. A useful lemma for context-free programmed grammars. Acta Informatica 11, 373–386 (1979). https://doi.org/10.1007/BF00289095
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289095