04587nam 22005895 450 99646542210331620200630045909.03-540-37826-X10.1007/BFb0039132(CKB)1000000000229674(SSID)ssj0000392617(PQKBManifestationID)11289225(PQKBTitleCode)TC0000392617(PQKBWorkID)10360405(PQKB)10014078(DE-He213)978-3-540-37826-6(PPN)155211382(EXLCZ)99100000000022967420121227d1973 u| 0engurnn|008mamaatxtccr1. Fachtagung über Automatentheorie und Formale Sprachen[electronic resource] GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 /herausgegeben von Karl-Heinz Böhling, Klaus Indermark1st ed. 1973.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1973.1 online resource (X, 330 p.) Lecture Notes in Computer Science,0302-9743 ;2Bibliographic Level Mode of Issuance: Monograph3-540-06527-X 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.Lecture Notes in Computer Science,0302-9743 ;2Computer programmingComputersMathematical logicProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer programming.Computers.Mathematical logic.Programming Techniques.Computation by Abstract Devices.Mathematical Logic and Formal Languages.005.11Böhling Karl-Heinzedthttp://id.loc.gov/vocabulary/relators/edtIndermark Klausedthttp://id.loc.gov/vocabulary/relators/edtBOOK9964654221033161. Fachtagung über Automatentheorie und Formale Sprachen2830302UNISA