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,640
  • 貴賓價: 9.5 折 $4,408
  • 語言: 英文
  • 頁數: 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篇受邀演講的摘要。會議的重點是描述複雜性的各個方面，包括自動機、文法、語言及其他形式系統；各種操作模式和複雜性度量。

類似商品