《形式語言與自動機理論》是2007年由機械工業出版的書籍，作者是吳哲輝。
基本介紹
內容簡介,章節目錄,
內容簡介
形式語言與自動機理論是計算機科學理論的重要基礎。本書主要介紹喬姆斯基文法體系的四類文法以及它們與有限自動機、下推自動機、線性界限自動機和圖靈機之間的關係。此外，對語言的各種運算和封閉性質、判定問題及不可判定性以及確定的上下文無關語言與LR-文法也進行了討論。書中還介紹了一些文法和自動機在文本編輯、編譯程式、標註語言以及邏輯電路和時序電路設計中的套用。
全書共分8章：第1章介紹語言及其表示；第2章介紹正規表達式、正規文法與有限自動機；第3章介紹上下文無關文法與下推自動機；第4章介紹圖靈機；第5章介紹喬姆斯基文法體系；第6章介紹語言的運算與封閉性質；第7章介紹判定問題與不可判定性；第8章介紹確定的上下文無關語言和LR-文法。
章節目錄
前言
第1章 語言及其表示
第2章 正規表達式、正規文法與有限自動機
第3章 上下文無關文法與下推自動機
第4章 圖靈機
第5章 喬姆斯基文法體系
第6章 語言的運算與封閉性質
第7章 判定問題與不可判定性
第8章 確定的上下文無關語言
參考文獻
