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

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Formal language theory and theoretical computer science
3. Altmetric Badge
   Chapter 2 Le cylindre des langages lineaires n'est pas principal
4. Altmetric Badge
   Chapter 3 Langages algebriques deterministes et groupes abeliens
5. Altmetric Badge
   Chapter 4 Best possible bounds on the weighted path length of optimum binary search trees
6. Altmetric Badge
   Chapter 5 E n ∖E n−1 -entscheidbare Gruppen
7. Altmetric Badge
   Chapter 6 Statistical characterization of learnable sequences
8. Altmetric Badge
   Chapter 7 Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen
9. Altmetric Badge
   Chapter 8 Zur endlichen Approximierbarkeit sequentieller Systeme
10. Altmetric Badge
    Chapter 9 The complexity of negation-limited networks — A brief survey
11. Altmetric Badge
    Chapter 10 The network-complexity of equivalence and other applications of the network complexity
12. Altmetric Badge
    Chapter 11 Test d'isomorphie d'hypergraphes planaires
13. Altmetric Badge
    Chapter 12 Obere und untere Schranke für die Komplexität von Booleschen Funktionen
14. Altmetric Badge
    Chapter 13 On the entropy of a formal language
15. Altmetric Badge
    Chapter 14 On the complexity of computations under varying sets of primitives
16. Altmetric Badge
    Chapter 15 About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines
17. Altmetric Badge
    Chapter 16 Zur Entscheidbarkeit der funktionalen Äquivalenz
18. Altmetric Badge
    Chapter 17 Quantifier elimination for real closed fields by cylindrical algebraic decompostion
19. Altmetric Badge
    Chapter 18 Deterministische indizierte Grammatiken
20. Altmetric Badge
    Chapter 19 Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme
21. Altmetric Badge
    Chapter 20 On the generative capacity of the strict global grammars
22. Altmetric Badge
    Chapter 21 Tree-transducers and syntax-connected transductions
23. Altmetric Badge
    Chapter 22 Sur les relations rationnelles
24. Altmetric Badge
    Chapter 23 Piecewise testable events
25. Altmetric Badge
    Chapter 24 Die Grösse des zustandsminimalen LR(O)-Analysators
26. Altmetric Badge
    Chapter 25 Formal translations and the containment problem for Szilard languages
27. Altmetric Badge
    Chapter 26 A characterization of bounded regular sets
28. Altmetric Badge
    Chapter 27 Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter
29. Altmetric Badge
    Chapter 28 Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften
30. Altmetric Badge
    Chapter 29 Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
31. Altmetric Badge
    Chapter 30 Prädikatives Programmieren
32. Altmetric Badge
    Chapter 31 Analyzing families of grammars
33. Altmetric Badge
    Chapter 32 Control structures and monadic languages