Advertisement

Parallel rewriting systems on terms

  • Karel CulikII
  • T. S. E. Maibaum
Friday Morning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. [1]
    Aho, A.V., Indexed grammars — an extension of context free grammars, Journal of the ACM, 1968, V. 15, 647–671.CrossRefGoogle Scholar
  2. [2]
    Culik II, K., and J. Opatrný, Macro OL system, Research Report #CS-73-06, Department of Applied Analysis and Computer Science, University of Waterloo.Google Scholar
  3. [3]
    Lindenmayer, A., Mathematical models for cellular interactions in development, Parts I and II, Journal of Theoretical Biology, 1968, V.18, 280–315.CrossRefPubMedGoogle Scholar
  4. [4]
    Lindenmayer, A., Developmental systems without cellular interactions, their languages and grammars, Journal of Theoretical Biology, 1971, V.30, 455–484.PubMedGoogle Scholar
  5. [5]
    Maibaum, T.S.E., The characterisation of the derivation trees of context-free sets of terms as regular sets, Proc. 13th IEEE Symp. on Switching and Automata Theory, 1972, 224–230.Google Scholar
  6. [6]
    Maibaum, T.S.E., A generalised approach to formal languages, to appear in Journal of Computer and System Sciences.Google Scholar
  7. [7]
    Maibaum, T.S.E., Generalised grammars and homomorphic images of recognizable sets, Doctoral Dissertation, University of London, 1973.Google Scholar
  8. [8]
    Maibaum, T.S.E., Indexed grammars on terms and their generalisation, in preparation.Google Scholar
  9. [9]
    Opatrný, J., in preparation.Google Scholar
  10. [10]
    Rozenberg, G., TOL systems and languages, to appear in Information and Control.Google Scholar
  11. [11]
    Rozenberg, G., Extension of tabled OL systems and languages, to appear in International Journal of Computer and Information Sciences.Google Scholar
  12. [12]
    Turner, R., Doctoral Dissertation, University of London, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Karel CulikII
    • 1
  • T. S. E. Maibaum
    • 1
  1. 1.Department of Applied Analysis and Computer ScienceUniversity of WaterlooCanada

Personalised recommendations