Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automata Theory and Formal Languages
  • Produktbild: Automata Theory and Formal Languages
Band 33

Automata Theory and Formal Languages 2nd GI Conference, Kaiserslautern, May 20-23, 1975

Aus der Reihe Lecture Notes in Computer Science

27,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.1975

Herausgeber

H. Brakhage

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

431 g

Auflage

1975

Sprache

Deutsch, Englisch, Französisch

ISBN

978-3-540-07407-6

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.1975

Herausgeber

H. Brakhage

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

431 g

Auflage

1975

Sprache

Deutsch, Englisch, Französisch

ISBN

978-3-540-07407-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Automata Theory and Formal Languages
  • Produktbild: Automata Theory and Formal Languages
  • Formal language theory and theoretical computer science.- Le cylindre des langages lineaires n'est pas principal.- Langages algebriques deterministes et groupes abeliens.- Best possible bounds on the weighted path length of optimum binary search trees.- En?En?1-entscheidbare Gruppen.- Statistical characterization of learnable sequences.- Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen.- Zur endlichen Approximierbarkeit sequentieller Systeme.- The complexity of negation-limited networks — A brief survey.- The network-complexity of equivalence and other applications of the network complexity.- Test d'isomorphie d'hypergraphes planaires.- Obere und untere Schranke für die Komplexität von Booleschen Funktionen.- On the entropy of a formal language.- On the complexity of computations under varying sets of primitives.- About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines.- Zur Entscheidbarkeit der funktionalen Äquivalenz.- Quantifier elimination for real closed fields by cylindrical algebraic decompostion.- Deterministische indizierte Grammatiken.- Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme.- On the generative capacity of the strict global grammars.- Tree-transducers and syntax-connected transductions.- Sur les relations rationnelles.- Piecewise testable events.- Die Grösse des zustandsminimalen LR(O)-Analysators.- Formal translations and the containment problem for Szilard languages.- A characterization of bounded regular sets.- Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.- Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften.- Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?.- Prädikatives Programmieren.- Analyzing families of grammars.- Control structures and monadic languages.