檢視自动机语言和机器的原始碼

[[File:自动机语言和机器.jpeg|有框|右|<big></big>[https://img1.doubanio.com/view/subject/s/public/s25463359.jpg 原图链接][https://book.douban.com/subject/3033492/ 来自 豆瓣网 的图片]]]

《'''自动机语言和机器'''》，自动机与形式[[语言]]专著。S. 爱伦贝格 (S. Eilenberg)著。原计划分A、B、C、D4卷出版，现仅出版A、B 2卷。卷A于1974年由美国纽约科学出版社出版。作者为哥伦比亚大学教授。

本书收编于《世界百科名著大辞典》。

==内容简介==

本书面向纯粹数学家和计算机科学家。对数学家而言，展现了一个新的代数实体，就内容的某些部分看，可视为现代代数学的标准部分； 对计算机科学家而言，提供了一个概念性框架，对他们所研究的课题，可给出一个清晰的透视。本书由16章组成。第1章为数学基础。第2、3章献给自动机的研究。第4—7章，献给有理集的研究。第8章给出了幂级数方法，建立了有理集与有理函数之间的关系。第9章深入地研究有理关系。第10章讨论了更一般的 “[[机器]]”概念和某些性质，也涉及到双向自动机，下推自动机，堆栈自动机，图灵机等概念。本章的机器定义方法便于利用自动机方法研究机器理论。第11、12章讨论了计算对序函数的对序机。第13、14章研究了无穷字及其被有穷自动机检验的问题。第15章是第5章中K-可识集的深化。最后，第16章研究线性时序机。每章中，都有适量的例题和练习，作为正文的补充，每章之后，列出了主要文献，并辅以必要的评述。本书中的定理证明都是构造性的，可以说，每一证明也是一个算法，这正是计算机科学的特点，无论在数学界或计算机科学界，该书均有重要的影响。

==相关信息==

名著是书籍中的精华。它标志着人类认识发展的水平，影响乃至支配人们的思想和行动，影响乃至支配[[社会]]的各种实践活动<ref>[https://www.sohu.com/a/212889085_623786 2017年，有哪些科技著作值得一读？《连线》杂志为你推荐这些！]，搜狐，2017-12-26</ref>。《世界百科名著大辞典》，在浩如烟海的书籍中，筛选出价值高、作用大、影响广的一万部[[名著]]，把它们汇集一起，根据科学文化知识体系的区别和联系加以分门别类，并逐部作出精要的诠释。可以说，这是对科学文化的一次总结，是一项很有价值的科学文化建设[[工程]]。这部辞典是一部很有用的[[工具书]]<ref>[http://www.doc88.com/p-806989508816.html 工具书是一种按某种体例编排的专供查找特定资料而不是供系统阅读的书籍]，道客巴巴，2012-03-29</ref>。

==视频==
===<center> 自动机语言和机器 相关视频</center>===
<center>计算机科学与技术专业解读</center>
<center>{{#iDisplay:t3240s9j77j|560|390|qq}}</center>

<center>全球顶尖计算机科学家：美国632位，德国45位，中国数据你知道么</center>
<center>{{#iDisplay:i32321xg8a8|560|390|qq}}</center>

==参考文献==
[[Category:040 類書總論；百科全書總論]]