TY  - BOOK
AU  - Böhling,Karl Heinz
AU  - Indermark,Klaus
ED  - Fachtagung über Automatentheorie und Formale Sprachen
ED  - Gesellschaft für Informatik.
TI  - 1. Fachtagung über Automatentheorie und Formale Sprachen: Bonn, 9.-12. Juli 1973 
T2  - Lecture notes in computer science
SN  - 9783540378266
AV  - QA267 .F3 1973eb
U1  - 511.3 22
PY  - 1973///
CY  - Berlin, New York
PB  - Springer
KW  - Machine theory
KW  - Congresses
KW  - Formal languages
KW  - Théorie des automates
KW  - Congrès
KW  - Langages formels
KW  - fast
KW  - Automatentheorie
KW  - gnd
KW  - Formale Sprache
KW  - Kongress
KW  - Linguagens formais e automatos
KW  - larpcal
KW  - Bonn (1973)
KW  - swd
KW  - Conference papers and proceedings
N1  - Includes bibliographical references; 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; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2011
UR  - https://link.springer.com/10.1007/BFb0039132
ER  -