机构名称：
¥ 11.0
统一处理有限和无限字符串和树上的有限状态机理论：许多书籍涉及有限字符串上的自动机，但很少有书籍证明无限字符串和树上的自动机的基本结果。本书从介绍有限自动机的所有标准基本结果开始，详细介绍了 Biichi 和 Rabin 自动机及其在 SIS 和 S2S 等各种逻辑理论中的应用，并描述了并发操作和通信系统的博弈论模型。内容丰富，包含大量示例、插图和练习。适用于计算机科学或数学专业的两学期本科课程，或一学期的研究生课程/研讨会。不需要高级数学背景；对于希望了解软件开发、验证和确认的现代形式化方法基础的计算机科学专业人士来说，自学也很有用。
美国数学学会通知
主要关键词
相关文件推荐
