Summary
This paper is concerned with extended OL systems and the effects (with respect to the generative capacity) on these systems caused by
-
1)
regular control on the use of subsets of productions
-
2)
appearance checking
-
3)
minimal table interpretation
and their combinations. Among other things it is proven that the effect of 3) is strictly stronger than the effect of both 1) and 2), and equal to the effect of the combination of 1) and 2). This implies among other things that the effect of appearance checking on the systems with regular control is significant.
Finally the notions of matrix and vector control are introduced, and the effects of these mechanisms are investigated. This leads to results very much different from corresponding well-known results for context-free grammars.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cremers, A. B., Mayer, O.: On matrix languages. Information and Control 23, 86–96 (1973)
Cremers, A. B., Mayer, O.: On vector languages. J. Computer and System Sciences 8, 158–166 (1974)
Ehrenfeucht, A., Rozenberg, G.: A characterization theorem for a subclass of ETOL languages. Manuscript 1973
Nielsen, M., Rozenberg, G., Salomaa, A., Skyum, S.: Nonterminals, homomorphisms and codings in different variations of OL systems, II. Nondeterministic systems. Acta Informatica 3, 357–364 (1974)
Rozenberg, G.: On OL systems with restricted use of productions. To appear in J. Computer and System Sciences
Salomaa, A.: Formal Languages. London-New York: Academic Press 1973
Salomaa, A.: On grammars with restricted use of productions. Ann. Acad. Sci. Fennicae, Ser. A1454, 1–32 (1968)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nielsen, M. EOL systems with control devices. Acta Informatica 4, 373–386 (1975). https://doi.org/10.1007/BF00289618
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289618