Advertisement

A survey of grammar and l forms-1978

  • Derick Wood
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 74)

Abstract

The present paper gives an overview of grammar and L form theory as of January 31, 1979. It is intended to complement Ginsburg's 1977 survey of grammar forms [G]. Hence although we present some new results on grammar forms the main thrust of the paper is to survey L forms.

The number of papers in this area is now over 65, see [W1] hence it may be observed that this is indeed a fast developing area, as is claimed in [M]. A more detailed exposition of the area can be found in [W2].

Because of this many open problems are stated in the hope that our own [G and MSW] excitement with this new area of formal language theory will be catching.

Keywords

Open Problem Language Family Grammar Form Formal Language Theory Normal Form Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AiM]
    Ainhirn, W., and Maurer, H. A., On ɛ-productions for terminals in EOL forms, TU Graz (1979) IIG Report 25.Google Scholar
  2. [AM]
    Albert J., and Maurer, H. A., The class of context-free languages is not an EOL family. Information Processing Letters 6,6(1978), 190–195.CrossRefGoogle Scholar
  3. [AMO]
    Albert, J., Maurer, H. A., Ottmann, Th., On sub-regular OL forms. TU Graz TR 15, 1978.Google Scholar
  4. [AMR]
    Albert J., Maurer, H. A., and Rozenberg, G., Simple EOL forms under uniform interpretation generating CF languages. Fundamenta Informaticae(1979), to appear.Google Scholar
  5. [CG]
    Cremers, A. B., and Ginsburg, S., Context-free grammar forms. Journal of Computer and System Sciences 11(1975), 86–116.Google Scholar
  6. [CM]
    Culik II, K., and Maurer, H. A., Propagating chain-free normal forms for EOL systems. Information and Control 36(1978), 309–319.CrossRefGoogle Scholar
  7. [CMO]
    Culik II, K., Maurer, H. A., and Ottmann, Th., Two-symbol complete EOL forms. Theoretical Computer Science 6(1978), 69–92.CrossRefGoogle Scholar
  8. [CMORS]
    Culik II, K., Maurer, H. A., Ottmann, Th., Ruohonen, K., and Salomaa, A., Isomorphism, form equivalence and sequence equivalence of PDOL forms. Theoretical Computer Science 6(1978), 143–174.CrossRefGoogle Scholar
  9. [G]
    Ginsburg, S., A survey of grammar forms — 1977. Acta Cybernetica 3, 4 (1978), 269–280.Google Scholar
  10. [GS1]
    Ginsburg, S., and Spanier, E. H., Prime and coprime decomposition theorems for grammatical families. Manuscript (1979).Google Scholar
  11. [GS2]
    Ginsburg, S., and Spanier, E. H., Manuscript in preparation (1979).Google Scholar
  12. [L]
    Leipala, R., On context-free matrix forms. Dissertation, Mathematics Department, University of Turku, Finland, 1977.Google Scholar
  13. [M]
    Maurer, H. A., New aspects of homomorphism. Invited paper, The 4th GI Conference on Theoretical Computer Science, Aachen, 1979.Google Scholar
  14. [MPSW]
    Maurer, H. A., Pentonnen, M., Salomaa, A., and Wood, D., On non context-free grammar forms. Mathematical Systems Theory (1979), to appear.Google Scholar
  15. [MR]
    Maurer, H. A., and Rozenberg, G., Sub-context-free L forms. IIG Report 22, TU Graz, Austria (1979).Google Scholar
  16. [MSW1]
    Maurer, H. A., Salomaa, A., and Wood, D., EOL forms. Acta Informatica 8 (1977), 75–96.Google Scholar
  17. [MSW2]
    Maurer, H. A., Salomaa, A., and Wood, D., Uniform interpretations of L forms. Information and Control 36(1978), 157–173.CrossRefGoogle Scholar
  18. [MSW3]
    Maurer, H. A., Salomaa, A., and Wood, D., ETOL forms. Journal of Computer and System Sciences 16(1978), 345–361.CrossRefGoogle Scholar
  19. [MSW4]
    Maurer, H. A., Salomaa, A., and Wood, D., On good EOL forms. SIAM Journal of Computing 7(1978), 158–166.CrossRefGoogle Scholar
  20. [MSW5]
    Maurer, H. A., Salomaa, A., and Wood, D., Relative goodness of EOL forms. Revue Francaise d'Automatique, Informatique et Recherche Operationelle 12 (1978).Google Scholar
  21. [MSW6]
    Maurer, H. A., Salomaa, A., and Wood, D., Context-dependent L forms. Information and Control (1979), to appear.Google Scholar
  22. [MSW7]
    Maurer, H. A., Salomaa, A., and Wood, D., On generators and generative capacity of EOL forms. Report 4, Institut für Informationsverarbeitung, TU Graz, (1978) and McMaster University Report 78-CS-1.Google Scholar
  23. [MSW8]
    Maurer, H. A., Salomaa, A., and Wood, D., Syncrhonized EOL forms under uniform interpretations. Report 78-CS-10, McMaster University, Hamilton, Canada (1978).Google Scholar
  24. [MSW9]
    Maurer, H. A., Salomaa, A., and Wood, D., Strict context-free grammar forms: completeness and decidability. Report 78-CS-19, McAster University, Hamilton, Canada (1978).Google Scholar
  25. [MSW10]
    Maurer, H. A., Salomaa, A., and Wood, D., Context-free grammar forms with strict interpretations. Journal of Computer and System Sciences (1979), to appear.Google Scholar
  26. [MSW11]
    Maurer, H. A., Salomaa, A., and Wood, D., Synchronized EOL forms. Report 79-CS-3, McMaster University, Hamilton, Ontario, Canada (1979).Google Scholar
  27. [RS]
    Rozenberg, G., and Salomaa, A., The Mathematical Theory of L Systems. In preparation (1979).Google Scholar
  28. [S]
    Salomaa, A., Formal Languages. Academic Press, New York (1975).Google Scholar
  29. [Sk]
    Skyum, S., On good ETOL forms. Theoretical Computer Science, (1978), to appear.Google Scholar
  30. [W1]
    Wood, D., A bibliography of grammatical similarity, available from the author.Google Scholar
  31. [W2]
    Wood, D., Grammar and L Forms. In preparation (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Derick Wood
    • 1
  1. 1.Unit for Computer ScienceMcMaster UniversityHamiltonCanada

Personalised recommendations