Abstract
Locally catenative equations are defined in the free group. It is shown that if the free group generated by a DOL sequence is finitely generated then there exists a locally catenative equation in the free group which defines the DOL sequence. An algorithm is given which finds the generators of the free group if it is finitely generated.
A conjecture is stated in terms of the existence of a certain group. The conjecture implies the solvability of the DOL equivalence problem.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Peter Johansen, An Algebraic Normal Form for Regular Events, Polyteknisk Forlag, Lyngby 1972.
J.Clausen, J.Hammerum, E.Meiling, T.Skovgaard, Automata Theory in Free Groups, manuscript to be submitted to Acta Informatica..
M. Hall. The Theory of Groups, The Macmillan Company, New York, 1959.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Johansen, P., Meiling, E. (1974). Free groups in Lindenmayer systems. In: Rozenberg, G., Salomaa, A. (eds) L Systems. Lecture Notes in Computer Science, vol 15. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06867-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-06867-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06867-9
Online ISBN: 978-3-540-37823-5
eBook Packages: Springer Book Archive