Abstract
A. Lindenmayer introduced in [3] a mathematical model for developmental systems in biology. The simplest of these models were the so-called OL systems discussed in [4]. The properties which distinguish OL systems (and their generalisations) from the more common grammars of formal language theory are:
- (i)
Each symbol in the alphabet appears on the left-hand side of some production in the system;
- (ii)
A step in a derivation is accomplished by applying in parallel a production to each symbol in a string.
The research for this report was supported by National Research Council Grant Nos. A5549 and A7403.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Reference
Aho, A.V., Indexed grammars — an extension of context free grammars, Journal of the ACM, 1968, V. 15, 647–671.
Culik II, K., and J. Opatrny, Macro OL system, Research Report #CS-73–06, Department of Applied Analysis and Computer Science, University of Waterloo.
Lindenmayer, A., Mathematical models for cellular interactions in development, Parts I and II, Journal of Theoretical Biology, 1968, V. 18, 280–315.
Lindenmayer, A., Developmental systems without cellular interactions, their languages and grammars, Journal of Theoretical Biology, 1971, V. 30, 455–484.
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.
Maibaum, T.S.E., A generalised approach to formal languages, to appear in Journal of Computer and System Sciences.
Maibaum, T.S.E., Generalised grammars and homomorphic images of recognizable sets, Doctoral Dissertation, University of London, 1973.
Maibaum, T.S.E., Indexed grammars on terms and their generalisation, in preparation.
Opatrný, J.,in preparation.
Rozenberg, G., TOL systems and languages, to appear in Information and Control.
Rozenberg, G., Extension of tabled OL systems and languages, to appear in International Journal of Computer and Information Sciences.
Turner, R., Doctoral Dissertation, University of London, 1973.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Culik, K., Maibaum, T.S.E. (1974). Parallel Rewriting Systems on Terms. In: Loeckx, J. (eds) Automata, Languages and Programming. ICALP 1974. Lecture Notes in Computer Science, vol 14. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21545-6_38
Download citation
DOI: https://doi.org/10.1007/978-3-662-21545-6_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06841-9
Online ISBN: 978-3-662-21545-6
eBook Packages: Springer Book Archive