形式語言與自動機理論是計算機科學理論的重要基礎。本書主要介紹喬姆斯基文法體係的四類文法以及它們與有限自動機、下推自動機、綫性界限自動機和圖靈機之間的關係。此外,對語言的各種運算和封閉性質、判定問題及不可判定性以及確定的上下文無關語言與LR-文法也進行瞭討論。書中還介紹瞭一些文法和自動機在文本編輯、編譯程序、標注語言以及邏輯電路和時序電路設計中的應用。
全書共分8章:第1章介紹語言及其錶示;第2章介紹正規錶達式、正規文法與有限自動機;第3章介紹上下文無關文法與下推自動機;第4章介紹圖靈機;第5章介紹喬姆斯基文法體係;第6章介紹語言的運算與封閉性質;第7章介紹判定問題與不可判定性;第8章介紹確定的上下文無關語言和LR-文法。
發表於2024-11-14
形式語言與自動機理論 2024 pdf epub mobi 電子書 下載
圖書標籤: 形式語言 計算機 離散數學 形式語言與自動機 nobutdunbuy
形式語言與自動機理論 2024 pdf epub mobi 電子書 下載