1. Automatentheorie und Formale Sprachen 1973: Bonn, Germany

Hauptvorträge

• Erwin Engeler:
  On the structure of algorithmic problems. 2-15
  
• Zdzislaw Pawlak:
  A mathematical model of digital computers. 16-22
  
• Arto Salomaa:
  On some recent problems concerning developmental languages. 23-34
  

Automatentheorie

• Mario Dal Cin:
  Fault-tolerance and stability of fuzzy-state automata. 36-44
  
• Lutz Eichner:
  Bemerkungen über Homomorphismen endlicher in lineare Automaten. 45-53
  
• Eckehart Hotzel:
  Der Kaskadenzerlegungssatz für Halbautomaten. 54-63
  
• H. Hummel:
  Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme. 64-73
  
• Thomas Ottmann:
  Ketten und arithmetische Prädikate von endlichen Automaten. 74-80
  
• F. Rodriguez:
  Une hierarchie infinie de cones d'accepteurs vérificateurs. 81-87
  
• D. Schütt:
  Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten. 88-97
  
• Hans-Georg Stork:
  Ein automatentheoretisches Modell einer Speicherhierarchie. 98-103
  
• Leslie G. Valiant, Mike Paterson:
  Deterministic one-counter automata. 104-115
  
• Rüdiger Valk:
  The use of metric and uniform spaces for the formalization of behavioral proximity of states. 116-122
  

Formale Sprachen

• Jean-Michel Autebert:
  Quelques générateurs des langages algébriques. 124-131
  
• Joffroy Beauquier:
  Une caractérisation des langages quasi-rationnels standards. 132-138
  
• Franz-Josef Brandenburg:
  Der Einfluß von Kontext auf spezielle CF-Grammatiken. 139-148
  
• Armin B. Cremers, Otto Mayer, K. Weiss:
  Zur Komplexität gesteuerter kontextfreier Ersetzungen. 149-155
  
• Manfred Kudlek:
  Characterization of derivation sets of formal systems. 156-165
  
• Otto Mayer:
  Die Darstellung indizierter Sprachen durch Ausdrücke. 166-174
  
• Antonio Restivo:
  Codes and aperiodic languages. 175-181
  
• Sebastiaan H. von Solms:
  The characterization of certain classes of languages in the context sensitive area by automata. 182-190
  
• Detlef Wotschke:
  A characterization of boolean closures of families of languages. 191-200
  

Algorithmen- und Komplexitätstheorie

• Joachim Biskup:
  Zufällige Folgen und Bi-immunität. 202-207
  
• Volker Claus:
  Die mittlere Additionsdauer eines Paralleladdierwerks. 208-209
  
• Joël Coffy:
  On the number of multiplications required by the product of two matrices. 210-219
  
• Elmar Cohors-Fresenborg:
  Elementare und subelementare Funktionenklassen über binären Bäumen. 220-229
  
• Gerd Kaufholz:
  Über die Vernetzungsstruktur von Maschinen. 230-238
  
• Burkhard Monien:
  On the simulation of time bounded machines. 239-248
  
• Wolfgang J. Paul:
  Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. 249-253
  
• Volker Penner:
  Über eine Hierarchie von Push-Down-entscheidbaren Mengen. 254-262
  
• G. Rose, Klaus Weihrauch:
  A characterization of the classes L1 and R1 of primitive recursive wordfunctions. 263-266
  
• C. K. Wong, C. L. Liu, J. Apter:
  A drum scheduling algorithm. 267-275
  

Theorie der Programmierung

• Eberhard Bertsch:
  Some considerations about classes of mappings between contextfree derivation systems. 278-283
  
• Klaus Indermark:
  On lanov schemas with one memory location. 284-293
  
• Jan Maluszynski:
  Reduction goals in bottom-up recognition. 294-300
  
• Bernard Robinet:
  Un modèle sémantique pour un langage simple de programmation. 301-310
  
• Rutger Verbeek:
  Erweiterungen subrekursiver Programmiersprachen. 311-318