Descriptional Complexity of Formal Systems: 26th Ifip Wg 1.02 International Conference, Dcfs 2025, Loughborough, Uk, July 22-24, 2025, Proceedings
暫譯: 形式系統的描述複雜性：第26屆IFIP WG 1.02國際會議，DCFS 2025，英國拉夫堡，2025年7月22-24日，會議論文集

Malcher, Andreas, Prigioniero, Luca

Descriptional Complexity of Formal Systems: 26th Ifip Wg 1.02 International Conference, Dcfs 2025, Loughborough, Uk, July 22-24, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-07-01
  • 售價: $4,630
  • 貴賓價: 9.5 折 $4,399
  • 語言: 英文
  • 頁數: 225
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031970993
  • ISBN-13: 9783031970993

    • 海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22-24, 2025.

This book includes 15 full papers, carefully reviewed and selected from 20 submissions, as well as 4 abstracts of the invited talks. The conference focus on all aspects of descriptional complexity, including automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.

商品描述(中文翻譯)

本書為第26屆IFIP WG 1.02國際會議「形式系統的描述複雜性」（DCFS 2025）的經過審稿的會議論文集，會議於2025年7月22日至24日在英國拉夫堡舉行。

本書包含15篇完整論文，這些論文是從20篇投稿中精心審核和選出的，此外還包括4篇受邀演講的摘要。會議的重點是描述複雜性的各個方面，包括自動機、文法、語言及其他形式系統；各種操作模式和複雜性度量。

類似商品