《形式語言及其與自動機的關係》是1979年5月科學出版社出版的圖書，作者是J.E.霍普克羅夫特。
基本介紹
- 中文名：形式語言及其與自動機的關係
- 作者：J.E.霍普克羅夫特
- 出版時間：1979年5月
- 出版社：科學出版社
- 書號： 15031231
內容簡介,圖書目錄,
內容簡介
本書是數字電子計算機編譯程式理論和語言理論方面的著作．
全書共分十四章．前八章主要介紹Chomsky定義的短語結構文法、前後文有關文法、前後文無關文法和正規文法，並證明了與這四類文法等價的四類自動機：圖靈機、線性界限自動機、下推自動機和有窮自動機．第九章討論語言的封閉性質．第十、十一兩章說明自動機識別一個句子所需要的時間量和空間量．第十二章研究了確定的下推自動機，並討論了LR（k）文法．第十三章專論堆疊自動機；這類自動機可看成下推自動機的一個推廣．最後一章對形式語言裡的一個重要專題——可判定性作了討論．
本書可供有關專業的研究生、研究人員及大專院校老師參考．
圖書目錄
譯者序
原序
目錄
第一章 語言及其表示法
第二章 文法
第三章 有窮自動機和正規文法
第四章 前後文無關文法
第五章 下推自動機
第六章 圖靈機
第七章 圖靈機：停機問題 0型語言
第八章 線性界限自動機與前後文有關語言
第九章 對語言的運算
第十章 時間界限和帶界限的圖靈機
第十一章 識別前後文無關語言時的時空界限
第十二章 確定的下推自動機
第十三章 堆疊自動機
第十四章 可判定性
參考文獻
漢英名詞對照
