自动机理论与应用（大学计算机教育国外著名教材系列(影印版)） fb2 免费 lrf 下载 kindle azw3 pdf 阿里云

本书阐述了计算科学的优美理论基础，通过演示计算理论在现代硬件和软件系统设计中的影响，把理论知识带到了现实实践之中。本书介绍了关键概念的应用，为读者在实际工作中使用计算理论提供实际指导。本书讨论的应用包括：程序设计语言、编译器、网络技术、自然语言处理、人工智能、计算生物学、安全性、博弈、商业规则建模、标识语言、Web搜索等。本书既适合作为自动机理论课程的教程，也是相关专业人员的重要参考用书。

Preface

Acknowledgments

Credits

PART Ⅰ INTRODUCTION

1 Why study the Theory of Computation?

2 Languages and Strings

3 The Big Picture: A Language Hierarchy

4 Computation

PART Ⅱ FINITE STATE MACHINES AND REGULAR LANGUAGES

5 Finite State Machines

6 Regular Expressions

7 Regular Grammars

8 Regular and Nonregular Languages

9 Algorithms and Decision Procedures for Regualr Languages

10 Summary and Reference

PART Ⅲ CONTEXT-FREE LANGUAGES AND PUSHDOWN AUTOMATA

11 Context-Free Grammars

12 Rushdown Automata

13 Context-Free and Noncontext-Free Languages

14 Algorithms and Decision procedures for Context-Free Languages

15 Context-Free Parsing

16 Summary and references

PART Ⅳ TURING MACHINES AND UNDECIDABILITY

17 Turing Machines

18 The Church-Turing Thesis

19 The Church-Turing Thesis

20 Decidable and Semidecidable Languages

21 Decidability and Undecidability Proofs

……

PART Ⅴ COMPLEXITY

APPENDICES

APPENDICES G-Q: APPLICATIONS

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：自动机理论与应用（大学计算机教育国外著名教材系列(影印版)）在线阅读

在线听书地址：自动机理论与应用（大学计算机教育国外著名教材系列(影印版)）在线收听

在线购买地址：自动机理论与应用（大学计算机教育国外著名教材系列(影印版)）在线购买

1、现代计算机+无限内存

2、Lambda演算

3、部分递归函数（少量基本函数+组合运算）

4、FSM+一个队列（标注系统？）

5、无限制文法（规则左边不止一个非终止符）

6、Post生产系统（？，允许规则带变量）——？？？

7、Markov算法——？？？

8、Conway生命游戏（？！！！）

9、1D CA

10、DNA计算模型

11、L系统（Lindenmayer）

对任何非平凡P，语言L={<M>：P(L(M))=True}不属于D

书籍介绍

《自动机理论与应用(影印版)》阐述了计算科学的优美理论基础，通过演示计算理论在现代硬件和软件系统设计中的影响，把理论知识带到了现实实践之中。《自动机理论与应用(影印版)》介绍了关键概念的应用，为读者在实际工作中使用计算理论提供实际指导。《自动机理论与应用(影印版)》讨论的应用包括：程序设计语言、编译器、网络技术、自然语言处理、人工智能、计算生物学、安全性、博弈、商业规则建模、标识语言、Web搜索等。《自动机理论与应用(影印版)》既适合作为自动机理论课程的教程，也是相关专业人员的重要参考用书。