2. Automata Theory and Formal Languages 1975: Kaiserslautern, Germany

H. Barkhage (Ed.): Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Lecture Notes in Computer Science 33 Springer 1975, ISBN 3-540-07407-4

@proceedings{DBLP:conf/automata/1975,
  editor    = {H. Barkhage},
  title     = {Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern,
               May 20-23, 1975},
  booktitle = {Automata Theory and Formal Languages},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {33},
  year      = {1975},
  isbn      = {3-540-07407-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Dienstagvormittag

Ronald V. Book: Hauptvortrag: Formal language theory and theoretical computer science. 1-15
Luc Boasson, Maurice Nivat: Le cylindre des langages linéaires n'est pas principal. 16-19
Jean-François Perrot, Jacques Sakarovitch: Langages algébriques déterministes et groupes abeliens. 20-30

Dienstagnachmittag

Kurt Mehlhorn: Best possible bounds for the weighted path length of optimum binary search trees. 31-41
Jürgen Avenhaus, Klaus Madlener: E_n\E_n-1-entscheidbare Gruppen. 42-51
P. H. Fuchs: Statistical characterization of learnable sequences. 52-56
Herbert Kopp: Über den mittleren Zeitbedarf bei der LR(k)-Analyse kontextfreier Sprachen. 57-63
Rüdiger Valk: Zur endlichen Approximierbarkeit sequentieller Systeme. 64-70

Mittwochvormittag

Michael J. Fischer: Hauptvortrag: The complexity of negation-limited networks - A brief survey. 71-82
Claus-Peter Schnorr: The network-complexity of equivalence and other applications of the network complexity. 83-92
Max Fontet: Test d'isomorphie d'hypergraphes planaires. 93-98
Hanke Bremer: Obere und untere Schranke für die Komplexität von Booleschen Funktionen. 99-102
Aldo de Luca: On the entropy of a formal language. 103-109

Mittwochnachmittag

David P. Dobkin, Richard J. Lipton: On the complexity of computations under varying sets of primitives. 110-117
Burkhard Monien: About the deterministic simulation of nondeterministic (log n)-tape bounded Turing machines. 118-126
H. Beck: Zur Entscheidbarkeit der funktionalen Äquivalenz. 127-133

Donnerstagvormittag

George E. Collins: Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. 134-183
Karl Weiß: Deterministische indizierte Grammatiken. 184-189
Manfred Opp: Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme. 190-197
Sorin Ciobotaru, Gheorghe Paun: On the generative capacity of the strict global grammars. 198-201
Peter Paul Schreiber: Tree-transducers and syntax-connected transductions. 202-208
Marcel Paul Schützenberger: Sur les relations rationnelles. 209-213

Donnerstagnachmittag

Imre Simon: Piecewise testable events. 214-222
Rainer Kemp: Die Größe des zustandsminimalen LR(0)-Analysators. 223-232
Hans-Peter Kriegel, Hermann A. Maurer: Formal translations and the containment problem for Szilard languages. 233-238
Antonio Restivo: A characterization of bounded regular sets. 239-244
Elfriede Fehr: Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter. 245-251
Herbert Klaeren: Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften. 252-258

Freitagvormittag

Hans Langmaack: Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? 259-273
Wolfgang Bibel: Prädikatives Programmieren. 274-283
Eberhard Bertsch: Analyzing families of grammars. 284-288
Klaus Indermark: Control structures and monadic languages. 289-292