1. Fachtagung über Automatentheorie und Formale Sprachen
GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
Herausgegeben:Böhling, Karl-Heinz; Indermark, Klaus
1. Fachtagung über Automatentheorie und Formale Sprachen
GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
Herausgegeben:Böhling, Karl-Heinz; Indermark, Klaus
- Broschiertes Buch
Andere Kunden interessierten sich auch für
- Mathematical Foundations of Computer Science 197537,99 €
- Stefan O. KnappÜbungsbuch Automaten und formale Sprachen39,99 €
- Automata, Languages, and Programming40,99 €
- Automata, Languages and Programming40,99 €
- Bernhard Steffen / Giorgio Levi (Bearb.)Verification, Model Checking, and Abstract Interpretation37,99 €
- Automata, Languages and Programming40,99 €
- Sartaj Sahni / Viktor K. Prasanna / Uday Shukla (eds.)High Performance Computing - HiPC 200285,99 €
-
-
-
Produktdetails
- Lecture Notes in Computer Science 2
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-06527-2
- 1973.
- Seitenzahl: 336
- Erscheinungstermin: 5. Dezember 1973
- Deutsch, Englisch, Französisch
- Abmessung: 235mm x 155mm x 19mm
- Gewicht: 1040g
- ISBN-13: 9783540065272
- ISBN-10: 354006527X
- Artikelnr.: 23103550
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
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.- Acharacterization 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.
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.- Acharacterization 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.