1. Automatentheorie und Formale Sprachen 1973: Bonn, Germany

Karl-Heinz Böhling, Klaus Indermark (Eds.): 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI). Lecture Notes in Computer Science 2 Springer 1973, ISBN 3-540-06527-X BibTeX

@proceedings{DBLP:conf/automata/1973,
  editor    = {Karl-Heinz B{\"o}hling and
               Klaus Indermark},
  title     = {1. Fachtagung {\"u}ber Automatentheorie und Formale Sprachen,
               Bonn, 9.-12. Juli 1973, Gesellschaft f{\"u}r Informatik (GI)},
  booktitle = {Automatentheorie und Formale Sprachen},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2},
  year      = {1973},
  isbn      = {3-540-06527-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Hauptvorträge

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

Automatentheorie

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

Formale Sprachen

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

Algorithmen- und Komplexitätstheorie

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

Theorie der Programmierung

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