Nicht aus der Schweiz? Besuchen Sie lehmanns.de

1. Fachtagung über Automatentheorie und Formale Sprachen

GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
Buch | Softcover
X, 330 Seiten
1973 | 1973
Springer Berlin (Verlag)
978-3-540-06527-2 (ISBN)

Lese- und Medienproben

1. Fachtagung über Automatentheorie und Formale Sprachen -
CHF 44,90 inkl. MwSt
  • Versand in 10-14 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

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.

Erscheint lt. Verlag 5.12.1973
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo X, 330 p.
Verlagsort Berlin
Sprache englisch
Maße 170 x 250 mm
Gewicht 1040 g
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Mathematik / Informatik Informatik Theorie / Studium
Schlagworte algorithms • Automatentheorie • Bäume • Complexity • Derivation • Embedded Systems • Programming language • Scheduling • Semiotik
ISBN-10 3-540-06527-X / 354006527X
ISBN-13 978-3-540-06527-2 / 9783540065272
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
CHF 48,85
Lean UX und Design Thinking: Teambasierte Entwicklung …

von Toni Steimle; Dieter Wallach

Buch | Hardcover (2022)
dpunkt (Verlag)
CHF 48,85
Wissensverarbeitung - Neuronale Netze

von Uwe Lämmel; Jürgen Cleve

Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95