书目

形式语言与自动机导论

内容简介

本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。

作者简介

PeterLinz在威斯康星大学获得博士学位,是加州大学戴维斯分校计算机科学系退休教授,其研究领域为计算机数值分析理论。除本书外,他还撰有《ExploringNumericalMethods:FanIntroductiontoScientificComputing》一书。

目录

其他版本

—  END  —