Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science)
暫譯: 形式系統的描述複雜度：第16屆國際研討會，DCFS 2014，芬蘭土爾庫，2014年8月5-8日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2014-07-21
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 366
- 裝訂: Paperback
- ISBN: 3319097032
- ISBN-13: 9783319097039
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of 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; complexity aspects of combinatorics on words; Kolmogorov complexity.
商品描述(中文翻譯)
本書為第十六屆形式系統描述複雜性國際會議（DCFS 2014）的經過審稿的會議論文集，該會議於2014年8月在芬蘭土爾庫舉行。所呈現的27篇完整論文是從35篇投稿中仔細審核和選出的。會議討論的主題包括：自動機、文法、語言及其他形式系統；各種操作模式和複雜性度量；計算模型與操作模式之間的權衡；對象描述的簡潔性、狀態爆炸現象；布林函數的電路複雜性及相關度量；資源限制或結構限制的環境；可判定性與不可判定性之間的邊界；普遍性與可逆性；結構複雜性；應用的形式系統（例如，軟體可靠性、軟體和硬體測試、自然語言建模）；自然啟發（生物啟發）架構和非常規計算模型；字詞組合的複雜性方面；Kolmogorov 複雜性。
