Zusammenfassung
Für Listenstrukturen, wie sie von den Programmiersprachen IPL-V und LISP 1.5 bekannt sind, wird eine explizite endliche Darstellung durch sogenannte context-freie Ausdrücke entwickelt. Es werden effektive Verfahren angegeben zur Konstruktion der expliziten Darstellungen und zu ihrer Reduktion bezüglich der Anzahl benötigter Namen.
Abstract
For list structures as known from the programming languages IPL-V and LISP 1.5, an explicit finite representation by so-called context-free expressions is establiched. Effective procedures are obtained for the construction of the explicit representations and for their reduction according to the number of names involved.
Literatur
Albrecht, R.: Zur Struktur von Informationssystemen. In: Dörr/Hotz: Tagungsbericht Automatentheorie und Formale Sprachen, S. 493–505. Mannheim: B. I. 1970.
Cremers, A. B.: Die Konstruktionskomplexität context-freier Sprachen. Dissertation, Universität Karlsruhe, 1972.
Cremers, A. B.: Kleene-Algebren formaler Ausdrücke. Annales Academiae Scientiarum Fennicae (in Druck, 1973).
Fleck, A. C.: Towards a Theory of Data Structures. JCSS5, 475–488 (1971).
Ginsburg, S.: The Mathematical Theory of Context-Free Languages. New York: McGraw-Hill. 1966.
Gruska, J.: A Characterization of Context-Free Languages. JCSS5, 353–364 (1971).
McCarthy, J., et al.: Lisp 1.5 Programmer's Manual. Cambridge, Mass.: M.I.T. Press. 1962.
McWhirter, J. P. et al.: Information Processing Language-V Manual, 2. Aufl. Englewood Cliffs, N.J., Prentice-Hall. 1964.
Yntema, M. K.: Cap Expressions for Context-Free Languages. IC18, 311–318 (1971).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cremers, A.B. Über eine explizite Darstellung von Listenstrukturen. Computing 12, 203–213 (1974). https://doi.org/10.1007/BF02293106
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02293106