Automata Theory: An Algorithmic Approach
简介：
对自动机理论的全面介绍，它使用了将自动机视为数据结构的新颖方法。这本教科书从受其主要现代应用程序程序验证启发的新观点介绍了自动机理论，其中自动机被视为用于集合和关系的算法操作的数据结构。
使用新颖的 “自动机作为数据结构” 方法算法方法非常适合希望拓宽技能的程序员和自动机理论和形式验证的研究人员关于无限词的自动机的第一个介绍，它不假设有限自动机的先验知识适合本科生和研究生全面、引人入胜的概念介绍平衡了描述、示例和理论结果广泛的插图，练习和解决方案加深理解
英文简介：
A comprehensive introduction to Automata Theory that uses the novel approach of viewing automata as data structures.
This textbook presents automata theory from a fresh viewpoint inspired by its main modern application, program verification, where automata are viewed as data structures for the algorithmic manipulation of sets and relations.
Uses novel “automata as data structures” approachAlgorithm approach ideal for programmers looking to broaden their skill set and researchers in automata theory and formal verificationThe first introduction to automata on infinite words that does not assume prior knowledge of finite automata Suitable for both undergraduate and graduate studentsThorough, engaging presentation of concepts balances description, examples, and theoretical results Extensive illustrations, exercises, and solutions deepen comprehension
- 书名
- Automata Theory: An Algorithmic Approach
- 译名
- 自动机理论：一种算法方法
- 语言
- 英语
- 年份
- 2017
- 页数
- 321页
- 大小
- 1.66 MB
- 标签
- 算法
- 下载
Automata Theory: An Algorithmic Approach.pdf- 密码
- 65536
最后更新：2025-04-12 23:54:40
←Ray Tracing Gems II: Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX