Lecture Notes in Computer Science

Größe: px

Ab Seite anzeigen:

Download "Lecture Notes in Computer Science"

Oskar Schmid
vor 6 Jahren
Abrufe

1 Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 104 Theoretical Computer Science 5th GI-Conference Karlsruhe, March 23-25, 1981 Edited by Peter Deussen Springer-Verlag Berlin Heidelberg NewYork 1981

2 Editorial Board W. Brauer P. Brinch Hansen J. Stoer N. Wirth Editor Peter Deussen Institut flir Informatik I Universit~t Karlsruhe Kaiserstr Karlsruhe 1 Germany D. Gries C. Moler G. Seegm011er AMS Subject Classifications (1979): 68C01, 68C05, 68C25, 68EI0, 68F05 CR Subject Classifications (1981): 5.2, 5.3 ISBN X Springer-Verlag Berlin Heidelberg New York ISBN X Springer-Verlag NewYork Heidelberg Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, :broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich. by Springer-Verlag Berlin Heidelberg 1981 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. 2145/ t0

3 VORWORT Der vorliegende Band fabt alle VortrRge zusammen, die auf der 5. GI- Fachtagung Theoretische Informatik vom 23. his 25. M~rz 1981 in Karlsruhe gehalten wurden. Diese Tagung setzt die Reihe der Vorg~ngertagungen ~ber Theonetische Informatik, ehemals Automatentheorie und Formale Sprachen, fort. Wie bisher wurden auch dieses Mal keine Parallelsitzungen abgehalten. Daher hot das Programm auber den 4 Hauptvortr~gen nur noch fur weitere 25 VortrRge Raum. Dem Programmkomitee fiel die schwere Aufgabe zu, diese aus 48 eingereichten Vortr~gen auszuw~hlen. Die Arbeiten wurden dabei nicht formal referiert, und es wurde davon ausgegangen, dab viele auch der nicht angenommenen Arbeiten evtl. in ~berarbeiteter Form in einer wissenschaftlichen Zeitschrift ver~ffentlicht werden. An dieser Stelle danken die Veranstalter den Vortragenden, den Gutachtern und allen, die zum Gelingen der Tagung beigetragen haben. SchlieBlich gilt unser Dank dem Springer Verlag und den Herausgebern der Lecture Notes in Computer Science fur die Aufnahme des Tagungsberichtes in diese Reihe. Saarbr~cken, im Januar 1981 K~ Mehlhorn Programmkomitee : J. Berstel P. Deussen J. Eickel E. Engeler K. Indermark K. Mehlhorn M. Paterson R. Loos H. Walter Tagungsleitung : P. Deussen R. Loos

4 CONTENTS A. Ehrenfeucht, G. Rozenberg On the subword complexity and square-freeness of formal languages W. Kuich Cycle-free N-algebraic systems F.J. Brandenburg On the height of syntactical graphs 13 I. Wegener Boolean functions whose monotone complexity is of size n2/log n 22 J. Sattler Netzwerke zur simultanen Berechnung boolescher Funktionen 32 V. StraBen The computational complexity of bilinear multiplications ~ 41 J. Avenhaus, K. Madlener P-complete problems in free groups 42 M. Latteux Quelques propri~t~s des langages ~ un Compteur 52 J.M. Autebert Un resultat de discontinuit~ dans les familles de langages 64 I. Keklikoglou Verallgemeinerte kommutative Sprachen Paper could not be included. 70

5 VI G. Hotz Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen 76 J.E. Pin Un analogue du th~or~me des vari6t~s pour les cones et les cylindres 78 G. Schnitger A family of graphs with expensive depth-reduction 91 H.J. Olivi~ On s-balanced binary search trees 98 R. GHttler Erzeugung optimalen Codes fur Series - Parallel Graphs 109 J. Hopcroft Recent directions in algorithmic Research 123 H. GHting, H.P. Kriegel Dynamic k-dimensional multiway search under time-varying access frequencies 135 L. Boasson Some applications of CFL's over infinite alphabets 146 J.J. Pansiot A decidable property of iterated morphisms 152 C. Choffrut Prefix-preservation for rational partial functions is decidable 159

6 Vll D. Park Concurrency and automata on infinite sequences 167 B. Josko An effective retract calculus 184 K. Weihrauch Recursion and complexity theory on CPO-S 195 H.A. Klaeren, M. Schulz Computable algebras, word problems and canonical term algebras 203 H. M~ller Reachability analysis with assertion systems 214 M.H. Overmars, J. van Leuuwen Dynamization of decomposable searching problems yielding good worst-case bounds 224 S. Huddleston, K. Mehlhorn Robust balancing in B-trees 234 L. Boasson, M. Nivat Centers of Languages 245 R. Book, M. Jantzen, C. Wrathall (Erasing) * strings 252 Index of Authors 260

Ähnliche Dokumente

Der demografische Wandel als europäische Herausforderung

Wirtschafts- und Sozialpolitik 8 Harald Kohler Josef Schmid [Hrsg.] Der demografische Wandel als europäische Herausforderung Lösungen durch Sozialen Dialog Demographic change as a European challenge Solutions