Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
edited by H. Brakhage on behalf of GI.
- Berlin ; New York : Springer-Verlag, 1975.
- 1 online resource (viii, 292 pages) : illustrations
- Lecture notes in computer science ; 33 .
- Lecture notes in computer science ; 33. .
Includes bibliographical references.
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.
Use copy
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
English or German.
9783540379232 3540379231
75,A50,1147 dnb
750516100 DE-101
Machine theory--Congresses.
Formal languages--Congresses.
Robots--Congresses.
Théorie des automates--Congrès.
Automates--Congrès.
Langages formels--Congrès.
Robots
Formal languages
Machine theory
Automatentheorie
Formale Sprache
Machine theory--Congresses.
Formal languages--Congresses.
Automates mathématiques, Théorie des--Congrès.
Langages formels--Congrès.
Conference papers and proceedings
Kongress.
QA267 / .A924
629.8/91
Includes bibliographical references.
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.
Use copy
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
English or German.
9783540379232 3540379231
75,A50,1147 dnb
750516100 DE-101
Machine theory--Congresses.
Formal languages--Congresses.
Robots--Congresses.
Théorie des automates--Congrès.
Automates--Congrès.
Langages formels--Congrès.
Robots
Formal languages
Machine theory
Automatentheorie
Formale Sprache
Machine theory--Congresses.
Formal languages--Congresses.
Automates mathématiques, Théorie des--Congrès.
Langages formels--Congrès.
Conference papers and proceedings
Kongress.
QA267 / .A924
629.8/91