《形式語言與自動機》以四類形式語言(短語結構語言、上下文有關語言、上下文無關語言、正則語言)和四種自動機(有窮自動機、下推自動機、圖靈機、線性有界自動機)為主線,討論了形式語言與自動機方面的主要理論成果和套用實例。書中每一章的最後都配有大量不同難度的習題,有助於讀者掌握本書內容。
基本介紹
- 書名:形式語言與自動機
- 作者:陳有祺
- ISBN:9787111237761
- 定價:29.00 元
- 出版社:機械工業出版社
- 出版時間:2008
- 開本:16
《形式語言與自動機》以四類形式語言(短語結構語言、上下文有關語言、上下文無關語言、正則語言)和四種自動機(有窮自動機、下推自動機、圖靈機、線性有界自動機)為主線,討論了形式語言與自動機方面的主要理論成果和套用實例。書中每一章的最後都配有大量不同難度的習題,有助於讀者掌握本書內容。
《形式語言與自動機》以四類形式語言(短語結構語言、上下文有關語言、上下文無關語言、正則語言)和四種自動機(有窮自動機、下推自動機、圖靈機、線性有界自動機)...
《形式語言與自動機理論》是2007年由機械工業出版的書籍,作者是吳哲輝。...... 《形式語言與自動機理論》是2007年由機械工業出版的書籍,作者是吳哲輝。...
形式語言與自動機理論是計算機科學與技術專業的一門重要課程。本書是作者結合其近30年來在大學講授該門課程的經驗和體會,選擇和組織有關內容撰寫而成。基於計算機...
陸玲、周書民編著的《形式語言與自動機及程式設計》介紹了喬姆斯文法體系的四類文法及相應的實例,以及無限自動機、下推機、圖靈機及相應買例。利用VC++6.0實現了...
本書根據作者對計算機科學與技術專業教育特點的理解和“21世紀大學本科計算機專業系列教材”編寫的總體要求,作為《形式語言與自動機理論(第2版)》(主教材)一書的...
1. 形式語言與自動機導論 .豆瓣讀書[引用日期2013-01-18] 詞條標籤: 出版物 , 書籍 圖集 形式語言與自動機導論圖冊 V百科往期回顧 詞條統計 瀏覽次數:次 ...
《形式語言與自動機理論教學參考書》是2013年清華大學出版社出版的圖書,作者是蔣宗禮。...
《有限自動機理論》簡述了形式語言的基本內容,包括文法的分類和語言間運算的封閉性,有限自動機(包括有限狀態自動機、下推自動機和圖靈機)的基礎理論,從構造文法產生...
《形式語言與自動機理論(第2版)》是2012年清華大學出版社出版的圖書。...... 《形式語言與自動機理論(第2版)》是2012年清華大學出版社出版的圖書。...
《形式語言,自動機理論與計算導論》是2012年2月1日由電子工業出版社出版的圖書,作者是卡馬拉(Kamala Krithivasan)、拉瑪(Rama R),譯者是孟宇龍、李健利、王宇華...
《形式語言與自動機理論教學參考書(第2版)》是2012年清華大學出版社出版的圖書。...... 《形式語言與自動機理論(第2版)》(主教材)一書的配套教學輔導用書,按照...
正規語言又稱正則語言,是形式語言與自動機理論中討論的最基本的語言系。通過它可以架起有窮自動機和正則表達式之間的一座橋樑。...
研究生:1.智慧型規劃的理論與套用 2.形式語言與自動機理論 3.模糊系統與模糊計算機 4.非經典邏輯及其套用 5.規劃識別的理論與套用...
計算理論,形式語言與自動機,知識工程 本科生課程: c++,visual c++等課程中文名 瞿有利 國籍 中國 畢業院校 北京理工大學 學科方向 計算機套用 目錄...
翟潔,女,1963年2月生,博士,鄭州大學信息工程學院教授,博士生導師,中國計算機學會理論計算機專業委員會常務會員,全國形式語言與自動機學組副組長...
第2章形式語言與自動機基礎/19 2.1語言和文法/19 2.1.1字母表和符號串/19 2.1.2語言/20 2.1.3文法及其形式定義/21 2.1.4推導和短語/23 2.1.5分...
本書包含了編譯程式設計的基礎理論和具體實現技術,主要內容有:形式語言和自動機理論、詞法分析、語法分析、語義分析、中間代碼生成、中間代碼最佳化和目標代碼生成等編譯...
3.蔣宗禮, 姜守旭, 形式語言與自動機理論, 清華大學出版社,2003.1.4.李建中, 姜守旭譯, 編譯原理, 機械工業出版社, 2003.9.5.蔣宗禮, 姜守旭, 形式語言與...
主要研究領域有: petri 網理論與並行分時系統、算法設計與分析、形式語言與自動機理論、密碼學等。先後主持承擔國家自然科學基金項目 6 項(從 1987 年到 2004 年...
泵引理是形式語言與自動機理論中判定一個語言不是正則語言的重要工具,下面介紹的是其通用的形式,除此之外還有其推廣的強泵引理等。...
長期從事高可信軟體、信息安全、智慧型信息處理等方面的研究工作,先後主講了《離散數學》、《抽象代數》、《形式語言與自動機》、《形式語義學》和《計算機理論高級專題...