Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
2005.
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
33 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automata theory and formal languages, 2nd GI conference, Kaiserslautern, May 20-23, 1975, edited by H. Brakhage on behalf of GI, 1975, Berlin, Springer, 1 vol. (VIII-292 p.), Lecture notes in computer science, 0-387-07407-4 • Automata Theory and Formal Languages, Texte imprimé, 9783662172520 |
Table des matières:
- 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 Aquivalenz
- 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.