Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. <br>The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 subm...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Altres autors: | , |
| Format: | eBook |
| Idioma: | English |
| Publicat: |
Berlin, Heidelberg
Springer Berlin Heidelberg Imprint: Springer
2012.
|
| Col·lecció: | Lecture Notes in Computer Science,
7386 |
| Matèries: | |
| Accés en línia: | Click here to view the full text content |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Sumari: | This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. <br>The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity. |
|---|---|
| Descripció física: | X, 319p. 23 illus. digital. |
| ISBN: | 9783642316234 |
| ISSN: | 0302-9743 |