《自動機理論及其套用》是1990年科學出版社出版的圖書，作者是何成武。
《自動機理論及其套用》是1990年科學出版社出版的圖書，作者是何成武。內容簡介該書系統、扼要地介紹自動機的基本理論及其在形式語言、數字系統結構設計和自動綜合、微程式設計自動化、可程式邏輯陣列、收縮陣列（SYSTOLIC）...
《自動機理論與套用》是2009年清華大學出版社出版的圖書，作者是里奇。內容簡介 《自動機理論與套用(影印版)》闡述了計算科學的優美理論基礎，通過演示計算理論在現代硬體和軟體系統設計中的影響，把理論知識帶到了現實實踐之中。《自動機...
計算機控制系統的控制程式具有有限狀態自動機（FA）的特徵，可以用有限狀態機理論來描述。有限自動機（Finite Automata Machine）是計算機科學的重要基石，它在軟體開發領域內通常被稱作有限狀態機（Finite State Machine），是一種套用非常廣泛...
《有限自動機的理論及其套用》是依託武漢大學，由姚家燕擔任項目負責人的專項基金項目。項目摘要 本課題是對有限自動機的基本理論和套用的研究，其目的是想更深刻地了解有限自動及其生成列的內在結構性質，並給出它們在動力系統、理論物理...
常見自動機有以下幾種：以電話交換機為主要實例的有限自動機，是自動機理論的基礎，被套用到自動控制，生物系統中；由下推表組成的單項非確定程式的下推自動機；線性有界自動機；用來描述通用計算機計算能力的圖靈機模型；進行與轉移函式，...
有限自動機的理論得到廣泛深入和系統的研究，成為自動機論中最成熟的領域，並在許多工程上得到套用。無限自動機的理論主要是處理計算過程，對圖靈機理論的研究一直在持續進行，對更自然的計算機數學模型的探索和在資源限制下自動機的功能的...
使用半群理論研究自動機的結構及自動機的分解問題。(，，，)是一有限自動機（見有限自動機論）,是中元素組成的字元序列集合。對有限自動機輸入中的一個字元序列後，的每一個狀態都要分別變到另外一個狀態，因此，引導出狀態集合上的...
本書是關於形式語言、自動機理論和計算複雜性方面的經典之作。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本...
由於自動機和語言理論在計算機科學的教育中已成為本科生的主要課程，作者在第1版的基礎上作了全面修訂。本書（第2版）除了繼承原書“外看大，內看小”的特點外，在內容和風格上都作了很大的調整：降低了數學上的難度，刪除了一些應...
本書特點： 以簡潔和易理解的方式講述理論概念；強調理論的現代套用；使用大量的圖來幫助表達概念；提供定義和證明的更多細節； 每章提供大量難易程度不同的練習。作者簡介 John E.Hopcroft 於史丹福大學獲得博士學位，現為康奈爾大學計算機...
6．4 虛擬樣機技術在自動機設計中的套用 6．4．1 載荷 6．4．2 運動仿真及結果分析 6．4．3 分析結論 6．5 轉膛自動機改進虛擬樣機分析 6．5．1 減重前虛擬樣機分析 6．5．2 轉膛體減重增大復進簧剛度虛擬樣機分析 6．5...
《自動機理論、語言和計算導引》是1986年科學出版社出版的圖書，作者是(美)霍普克羅夫特(Hopcroft， J.E.)、(美)厄爾曼(Ullman， J.D.)。內容簡介 本書是討論自動機理論、語言理論和計算理論（主要是計算複雜性理論）的專著。全書...
《形式語言,自動機理論與計算導論》用簡潔清晰的方式闡述了相關理論概念，並深入涵蓋了形式文法及基本的自動機類型。同時對該領域的當前研究趨勢進行了相關概述。《形式語言,自動機理論與計算導論》概括了本學科的廣泛套用以及關於計算方面的...
《 自動機理論、語言和計算導論（原書第2版）》是2004年6月1日機械工業出版社出版的圖書，作者是John E.Hopcroft、Rajeev Motwani、Jeffrey D.Ullman。圖書目錄 出版者的話 專家指導委員會 譯者序 前言 第1章 自動機：方法與體驗 第...
基於分明量子邏輯的自動機理論（automata theory based on sharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態，以及轉移函式均為正交模格值函式的量子自動機理論。出處 《計算機科學...
本書已被世界許多著名大學採用為計算機理論課程的教材或教學參考書，適合用作國內高校計算機專業高年級本科生或研究生的教材，還可供從事理論計算工作的研究人員參考該書是關於形式語言、自動機理論和計算複雜性方面的經典教材，是三位理論...
本項目旨在研究基於unsharp量子邏輯的自動機理論。（1）以面向unsharp量子邏輯的有效代數與MV代數為重點，通過研究它們的語義模型，初步建立有效結構上的量子自動機理論。（2）與經典自動機理論對比，分析非矛盾律和排中律的缺失對有效結構量子...
書中還介紹了一些文法和自動機在文本編輯、編譯程式、標註語言以及邏輯電路和時序電路設計中的套用。全書共分8章：第1章介紹語言及其表示；第2章介紹正規表達式、正規文法與有限自動機；第3章介紹上下文無關文法與下推自動機；第4章介紹...
基於不分明量子邏輯的自動機理論（automata theory based on unsharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態，以及轉移函式均為格序QMV（或其他不滿足無矛盾律的量子代數模型）...
形式語言與自動機理論是計算機類專業的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。基於計算機問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的...
《形式語言與自動機理論（第2版）》是2012年清華大學出版社出版的圖書。圖書簡介 形式語言與自動機理論是計算機科學與技術專業的一門重要課程。本書是作者結合其20餘年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。...
計算機科學分為理論計算機科學和實驗計算機科學兩個部分。在數學文獻中所說的計算機科學，一般是指理論計算機科學。實驗計算機科學還包括有關開闢計算機新的套用領域的研究。計算機科學的大部分研究是基於“馮·諾依曼計算機”和“圖靈機”的，...
