《自動機引論》是1986年科學出版社出版的圖書，作者是陶仁驥。
基本介紹
- 中文名：自動機引論
- 作者：陶仁驥
- 出版社：科學出版社
- 出版時間：1986年11月
- 書號：15031754
內容簡介,圖書目錄,
內容簡介
本書介紹自動機論中最基本的概念、結果和方法。全書共十三章，前八章討論有限自動雄精船牛機，後五章討論無限自動機。第一、二、三章介紹有限自動機和邏輯網路的定義及它們的等價性，討論有限自動機和偏有限自動機的極小化以及有限自動機作為序列識別器的功能。第四、五、六章講述線性有限滲估櫃謎自動機的標準化並介紹z變換方法，討論有限自動機作為序列產生器的功能喇鑽墓，並對自動機分析的暗箱理凶悼牛論進行初步鍵境重介紹。第七、八兩章討論有限自動機的存貯性和可逆性。第九章介紹一種自動機的定義、三種歸約和兩種通用自動機。第十、十一章討論圖靈機和自動機的等價性及自動機的計算功能和識別功能。第十二章對不可判定問題進行初步介紹。第十三章討論自動機在阿克曼函式作為時間或空間界限下的計算能力。
本書可供數學、計算機科學和自動化等專業的科研人員、大學教師和研究生參考。
圖書目錄
目錄
第一章 有限自動機的邏輯網路榆您實現
第二章 狀態化簡
第三章 正規集
第四章 線性有限自動機
第五章 自治有限自動機
第六章 狀態識別試驗
第七章 存貯性
第八章 可逆性
第九章 通用自動機
第十章 圖靈機
第十一章 遞歸函式
第十二章 不可判定問題
第十三章 時空限制下旬她體的計算
常用符號和術語
參考文獻
