Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (Lecture Notes in Computer Science)
暫譯: 形式系統的描述複雜度：第18屆IFIP WG 1.2國際會議，DCFS 2016，羅馬尼亞布加勒斯特，2016年7月5-8日。會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2016-06-28
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 236
- 裝訂: Paperback
- ISBN: 3319411136
- ISBN-13: 9783319411132
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.
Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity.
商品描述(中文翻譯)
本書為第18屆國際形式系統描述複雜度會議（DCFS 2016）的經過審核的會議論文集，該會議於2016年7月在羅馬尼亞布加勒斯特舉行。共提交了21篇論文，最終選出13篇完整論文及4篇邀請演講，經過仔細審核後發表。
描述複雜度（Descriptional Complexity）是計算機科學的一個領域，研究在計算模型中出現的各種對象的大小，例如圖靈機（Turing Machines）、有限自動機（finite automata）、文法（grammars）、拼接系統（splicing systems）等。此次會議的主題與描述複雜度的各個方面相關。
