自動機語言和機器檢視原始碼討論檢視歷史

原圖鏈接來自 豆瓣網 的圖片

《自動機語言和機器》，自動機與形式語言專著。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章研究線性時序機。每章中，都有適量的例題和練習，作為正文的補充，每章之後，列出了主要文獻，並輔以必要的評述。本書中的定理證明都是構造性的，可以說，每一證明也是一個算法，這正是計算機科學的特點，無論在數學界或計算機科學界，該書均有重要的影響。

相關信息

名著是書籍中的精華。它標誌着人類認識發展的水平，影響乃至支配人們的思想和行動，影響乃至支配社會的各種實踐活動。《世界百科名著大辭典》，在浩如煙海的書籍中，篩選出價值高、作用大、影響廣的一萬部名著，把它們匯集一起，根據科學文化知識體系的區別和聯繫加以分門別類，並逐部作出精要的詮釋。可以說，這是對科學文化的一次總結，是一項很有價值的科學文化建設工程。這部辭典是一部很有用的工具書。

視頻

自動機語言和機器 相關視頻

計算機科學與技術專業解讀 全球頂尖計算機科學家：美國632位，德國45位，中國數據你知道麼