Multi-limited Lindenmayer systems [Elektronische Ressource] / von Markus Seemann

Multi-limited Lindenmayer SystemsVon der Carl-Friedrich-Gauß-Fakult¨ atTechnische Universit¨ at Carolo-Wilhelmina zu Braunschweigzur Erlangung des GradesDoktor-Ingenieur (Dr.-Ing.)genehmigte Dissertationvon Dipl.-Math. Markus Seemanngeboren am 27.04.1968in WolfsburgEingereicht am: 18.07.2007M¨ undliche Prufung¨ am: 22.11.2007Referent: Prof. Dr. Dietmar Watjen¨Institut fur¨ Theoretische InformatikTU BraunschweigKorreferent: Prof. Dr. Jurgen¨ DassowFakult¨ at fur¨ InformatikUniversit¨ at Magdeburg(2007)PrefaceMy thanks go to my mentor Prof. Dr. D. W¨ atjen for his scientific support andproductive discussions as well as for accepting the task of compiling the report ofthis thesis. I also thank Prof. Dr. J. Dassow for accepting the task of issuing theco-report of this thesis.I thank Mrs. S. J¨ orger and Mr. S. Griebel for their detailed review of this work.Finally, I thank my parents and all my friends for their sympathy.Braunschweig, December 2007iiiKurzfassungDer Biologe und Mathematiker Aristide Lindenmayer begrundete¨ die Theorie derL-Systeme. Das ursprung¨ liche Ziel dieser Theorie ist die Bereitstellung mathema-tischer Modelle zur Untersuchung des simultanen Zellwachstums fadenartiger Or-ganismen. Da L-Systeme als eine Art von Ersetzungssystemen definiert sind, sindihre erzeugten Sprachen, d.h. die Mengen der durch Zeichenketten beschriebenenOrganismen, ebenfalls Gegenstand der Theorie der formalen Sprachen.