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...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Այլ հեղինակներ: | , |
| Ձևաչափ: | էլ․ գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin, Heidelberg
Springer Berlin Heidelberg Imprint: Springer
2012.
|
| Շարք: | Lecture Notes in Computer Science,
7386 |
| Խորագրեր: | |
| Առցանց հասանելիություն: | Click here to view the full text content |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Ամփոփում: | 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. |
|---|---|
| Ֆիզիկական նկարագրություն: | X, 319p. 23 illus. digital. |
| ISBN: | 9783642316234 |
| ISSN: | 0302-9743 |