The Generative Power of Two-Level Grammars

Two-level grammars as introduced by the author in [2] have been used to define most of the syntax of ALGOL 68 [3]. Although SINTZOFF showed in [1] that every recursively enumerable set is generated by some such grammar, its use to the description of the f

  • PDF / 49,085,916 Bytes
  • 622 Pages / 439.37 x 666.142 pts Page_size
  • 76 Downloads / 175 Views

DOWNLOAD

REPORT


1: GI-Gesellschaft fUr Informatik e.V. 3. Jahrestagung, Hamburg, 8.-10. Oktober 1973. Herausgegeben im Auftrag der Gesellschaft fUr Informatik von W. Brauer. XI, 508 Seiten. 1973. DM 32,-

Vol. 2: GI-G"esellschaft fUr Informatik e. V. 1. Fachtagung Ober Automatentheorie und FormaleSprachen, Bonn, 9.-12. Juli 1973. Herausgegeben im Auftrag der Gesellschaft fUr .Informatik von K.-H. Bohling und K. Indermark. VII, 322 Seiten. 1973. DM 26,Vol. 3: 5th Conference on Optimization Techniques, Part I. (Series: I.F.l.P. TC7 Optimization Conferences.) Edited by R. Conti and A. Ruberti. XIII, 565 pages. 1973. DM 38,Vol.

4: 5th Conference on Optimization Techniques, Part II. (Series: I. F.I. P. TC7 Optimization Conferences.) Edited by R. Conti and A. Ruberti. XIII, 389 pages. 1973. DM 28,-

Vol. 5: International Symposium on Theoretical Programming. Edited by A. Ershov and V. A. Nepomniaschy. VI, 407 pages. 1974. DM 30,Vol.

6: B. T. Smith, J. M. Boyle, B. S. Garbow, Y.lkebe, V. C. Klema, and C. B. Moler, Matrix Eigensystem Routines - EISPACK Guide. X, 387 pages. 197 4. DM 28,-

Vol.

7: 3. Fachtagung Ober Programmiersprachen, Kiel, 5.-7. Marz 1974. Herausgegeben von B. Schlender und W. Frielinghaus. VI, 225 Seiten.1974. DM 20,-

Vol. 8: GI-NTG Fachtagung Ober Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. Marz 1974. Herausgegeben im Auftrag der GI und der NTG von H.-a. Leilich. VI, 340 Seiten. 1974. DM 26,Vol. 9: GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung. Koln, 17.118. Sept. 1973. Herausgegeben im Auftrag der GI und dem BIFOA von P. Schmitz. VI, 259 Seiten. 1974. DM 22,Vol. 10: Computing Methods in Applied Sciences and Engineering, Part 1. International Symposium, Versailles, December 17-21, 1973. Edited by R. Glowinski and J. L. Lions. X, 497 pages. 1974. DM 34,Vol. 11: Computing Methods in Applied Sciences and Engineering, Part 2. International Symposium, Versailles, December 17-21, 1973. Edited by R. Glowinski and J. L. Lions. X, 434 pages. 1974. DM 30,Vol. 12: GFK-GI-GMR Fachtagung Prozessrechner 1974. Karlsruhe, 10.-11. Juni 1974. Herausgegeben von G. KrOger und R. Friehmelt. XI, 620 Seiten. 1974. DM 42,Vol. 13: Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970. (GI-GeselischaftfOr Informatik e. V.) Herausgegeben von W. Handler und P. P. Spies. VII, 333 Seiten. 1974. DM 30,Vol. 14: Automata, Languages and Programming - 2nd Colloquium, University of SaarbrOcken, July 29 - August 2, 1974. Edited by J. Loeckx. VIII, 611 pages. 1974. DM 48,-

Lecture Notes in

Computer Science Edited by G. Goos and J. Hartmanis

14 Automata, Languages and Programming 2nd Colloquium, University of SaarbrUcken July 29-August 2, 1974

Edited by Jacques Loeckx

Springer-Verlag Berlin Heidelberg GmbH 1974

Editorial Board: P. Brinch Hansen . D. Gries C. Moler' G. SeegmUlier . N. Wirth

Prof. Dr.-Ing. J. Loeckx Fachbereich Angewandte Mathematik und Informatik der Universitat des Saarlandes 66 SaarbrUcken/BRD

AMS Subject Classifications (1970); 68-02, 68 A 05, 68 A 10, 68 A 20