Abstract
It is shown that every context-sensitive language can be generated by a hyperbounded two-level grammar with only one metanotion. Two-level grammars (and such with only one metanotion) were introduced by A. van Wijngaarden [1,5]. "Hyperbounded two-level grammar"s were defined by J. L. Baker [3] who denoted them "context-sensitive Van Wijngaarden grammar"s.
Preview
Unable to display preview. Download preview PDF.
6) Literatur
A. van Wijngaarden: "Orthogonal design and description of a formal language", MR 76, Math. Centrum, Amsterdam, 1965.
M. Sintzoff: "Existence of a Van Wijngaarden syntax for every recursively enumerable set", Extr. Ann. Soc. Sci. Bruxelles, T81, II, pp 115–118, 1967.
J. L. Baker: "Grammars with structured Vocabulary: a Model for the ALGOL-68 Definition", Inf. and Contr. 20, pp 351–359, 1972
H. Feldmann: "Grammatische Darstellung von Vereinbarung und Aufruf am Beispiel einer Sprache für Melodien", Meeting "Automatentheorie und formale Sprachen", Oberwolfach, Oktober 1972, published in Mitt.d. Gesellschaft f. Math. u. Datenverarb., Bonn, Nr. 27 (1974), pp 38–43, editors Hotz, Kopp, Langmaack.
A. van Wijngaarden: "One is enough (The generative power of two-level grammars)", Lecture held in Winnipeg, June 1974.
H. Feldmann: "Einführung in ALGOL 68", Lecture script, University of Hamburg, July 1974, complete edition to appear 1975.
A. van Wijngaarden et al.: "Revised Report on the Algorithmic Language ALGOL 68", to appear in Acta Informatica.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feldmann, H. (1975). Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen. In: Mülbacher, J. (eds) GI — 5. Jahrestagung. GI 1975. Lecture Notes in Computer Science, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07410-4_647
Download citation
DOI: https://doi.org/10.1007/3-540-07410-4_647
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07410-6
Online ISBN: 978-3-540-37929-4
eBook Packages: Springer Book Archive