Book Cover
E-book
Author Fachtagung über Automatentheorie und Formale Sprachen (1st : 1973 : Bonn, Germany)

Title 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973 / GI, Gesellschaft für Informatik ; herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark
Published Berlin ; New York : Springer, 1973

Copies

Description 1 online resource (vii, 322 pages) : illustrations
Series Lecture notes in computer science ; 2
Lecture notes in computer science ; 2.
Contents On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen
Bibliography Includes bibliographical references
Notes English, French, or German
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
Print version record
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Machine theory -- Congresses
Formal languages -- Congresses
Formal languages
Machine theory
Automatentheorie
Formale Sprache
Kongress
Linguagens formais e automatos.
Bonn (1973)
Genre/Form Conference papers and proceedings
Form Electronic book
Author Böhling, Karl Heinz.
Indermark, Klaus.
Gesellschaft für Informatik.
ISBN 9783540378266
354037826X
Other Titles Erste Fachtagung über Automatentheorie und Formale Sprachen
Fachtagung über Automatentheorie und Formale Sprachen