Skip to main content

Automatic Determination of Data Flow in Extended Affix Grammars

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 19))

Abstract

This paper discusses, how far the denotation of Extended Affix Grammars (EAGs) may be liberated towards that of van-Wijngaarden Grammars (vWGs) without loss of efficiency concerning the parsers derivable from such EAGs.

The result is that “data flow„ in EAGs needs not be specified explicitely, but can be determined automatically, if the EAGs satisfy a condition that is very natural and does not restrict their descriptive power. This condition proves useful and decidable for other decidable subclasses of vWGs, too. The transformation algorithm and its degree of complexity is given. Finally, the practical applicability of this result is discussed

The project EAGLE is supported by the Deutsche Forschungsgemeinschaft (DFG) under EH 65/1

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. BAKER, John L.: Grammars with Structured Vocabulary: a. Model for the ALGOL-68 Definition. Information & Control 20 (1972), p.351–359

    Article  MATH  Google Scholar 

  2. CHANG, C.L., LEE, R.C.T.: Symbolic Logic and Mechanical Theorem Proving Academic Press, London (1973)

    MATH  Google Scholar 

  3. CLEAVELAND, J.C., UZGALIS, R.C.: Grammmars for Programming Languages. Elsevier Computer Science Library, N. York (1977)

    Google Scholar 

  4. DEUSSEN, P.: A Decideability Criterion for van-Wijngaarden Grammars. Acta Informatica, p.353–375, (1975)

    Google Scholar 

  5. KNUTH, D.E.: Semantics of Context Free Languages. Math. Systems The., (2), 127–145, (1968)

    Google Scholar 

  6. KNUTH, D.E.: Semantics of Context Free Languages. Correction: 5, 95 (1971)

    MathSciNet  MATH  Google Scholar 

  7. KOSTER, C.H.A.: Affix Grammars. In: ALGOL-68 Implementation, J.E.L. Peck (Ed.) North-Holland Publish. Amsterdam-London (1971)

    Google Scholar 

  8. KOSTER, C.H.A.: Two Level Grammars. Lecture Notes in Computer Science 21, Compiler Construction Springer, Berlin- Heidelb.- N. York, p.146–156 (1974)

    Google Scholar 

  9. KRAEMER, Bernd SCHMIDT, Heinz-W.: On The Implementation of van Wijngaarden Grammars. Preprint, GMD Bonn, IST-Internal Report 3/77 (1977)

    Google Scholar 

  10. MARCOTTY, LEDGARD, BOCHMANN: A Sampler of Formal Definitions. Computing Surveys, 8/2 (1976)

    Google Scholar 

  11. WATT, D.A.: Analysis-Oriented Two-Level Grammars. Ph.D.thesis, Glasgow 1974. printed TÜ Berlin, (1975)

    Google Scholar 

  12. WEGENER, Lutz: Bracketed Two-Level Grammars: A Decidable and Practical Approach to Language Definition. Universitaet Karlsruhe, Bericht 76, (1978)

    Google Scholar 

  13. WIJNGAARDEN, A.v. (Ed.): Report on the Algorithmic Language Algol 68. Numerische Mathematik 14, p.79–218 (1969)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Franzen, H., Hoffmann, B. (1979). Automatic Determination of Data Flow in Extended Affix Grammars. In: Böhling, K.H., Spies, P.P. (eds) GI — 9. Jahrestagung. Informatik-Fachberichte, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67444-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67444-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09664-1

  • Online ISBN: 978-3-642-67444-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics