《有限自動機理論第4版》是2022年科學出版社出版的圖書。
《有限自動機理論第4版》是2022年科學出版社出版的圖書。內容簡介形式語言與自動機理論是計算機科學與技術專業的一門重要課程。本書簡述形式語言基本內容，包括文法的分類、構造方法和語言間運算的封閉性。系統地論述三類有限自動機...
有限接收機在形式語言理論中，有限自動機通常作為語言的識別器來使用。這種有限自動機有一個特殊的狀態q0，稱初始狀態。有一個特殊的狀態子集F,稱終止狀態集合。主要研究在初始狀態q0下,輸入字元序列集合X中的一個字元序列後所引起的狀態轉換，不考慮輸出問題，這種有限自動機也稱作有限接收機。按其下步狀態是否完全...
《有限自動機理論》是2007年電子科技出版社出版的圖書，作者是陳文宇。內容提要 《有限自動機理論》簡述了形式語言的基本內容，包括文法的分類和語言間運算的封閉性，有限自動機（包括有限狀態自動機、下推自動機和圖靈機）的基礎理論，從構造文法產生語言的角度和構造自動機識別語言的角度對語言進行討論，並介紹文法與...
有限自動理論 研究有限自動機的功能、結構以及兩者關係的數學理論稱為有限自動機理論，有限自動機理論的基本內容包括邏輯網路、狀態化簡、狀態分配、神經網路和有限識別器等。邏輯網路 基本的邏輯元件按是否具有記憶功能，可以分為記憶元件(如觸發器和延遲器等)和組合元件(如各種與、或、非門等)兩類，把一些基本邏輯元件...
有限自動機論包括開關網路理論，主要研究對象為繼電器接點電路、數字電路、理想神經網路這類存儲量有限的自動機。主要的研究問題是綜合和分析問題。一種典型的問題提法是：研究由某種數學語言陳述的功能出發，設計出滿足要求的有限自動機和實現它的邏輯網路的系統方法。這涉及到功能描述數學語言、狀態化簡、狀態賦值、布爾...
有限狀態自動機（FSM finite state machine 或者FSA finite state automaton ）是為研究有限記憶體的計算過程和某些語言類而抽象出的一種計算模型。有限狀態自動機擁有有限數量的狀態，每個狀態可以遷移到零個或多個狀態，輸入字串決定執行哪個狀態的遷移。有限狀態自動機可以表示為一個有向圖。有限狀態自動機是自動機理論...
在理論計算機科學中，自動機理論是對抽象機和它們能解決的問題的研究。自動機理論密切關聯於形式語言理論，因為自動機經常按它們所能識別的形式語言類來分類。簡介 自動機是有限狀態機(FSM)的數學模型。FSM 是給定符號輸入，依據(可表達為一個表格的)轉移函式“跳轉”過一系列狀態的一種機器。在常見的 FSM 的“...
《有限自動機的理論及其套用》是依託武漢大學，由姚家燕擔任項目負責人的專項基金項目。項目摘要 本課題是對有限自動機的基本理論和套用的研究，其目的是想更深刻地了解有限自動及其生成列的內在結構性質，並給出它們在動力系統、理論物理和Drinfeld模理論中的套用。在本基金的資助下，我們在對有限自動機理論的研究中...
有限自動機有三種功能：作為序列轉換器，將輸入序列變換為輸出序列;作為序列識別器，識別輸入的序列是否具有某種性質；作為序列產生器，產生具有所要求性質的序列。研究有限自動機的功能、結構以及兩者關係的數學理論稱為有限自動機理論。有限自動機理論的基本內容包括邏輯網路、狀態化簡、狀態分配、神經網路和有限識別器等。
在計算理論中，確定有限狀態自動機或確定有限自動機（英語：deterministic finite automation, DFA）是一個能實現狀態轉移的自動機。對於一個給定的屬於該自動機的狀態和一個屬於該自動機字母表求和的字元，它都能根據事先給定的轉移函式轉移到下一個狀態（這個狀態可以是先前那個狀態）。基礎概念 定義 確定有限狀態自動...
確定的有限自動機 確定的有限自動機是2018年公布的計算機科學技術名詞 。 定義 有限自動機中的一種。這種有限自動機的狀態轉移函式是單值函式，即在一個狀態下掃描到一個輸入字元時轉移到狀態是唯一的。 出處 《計算機科學技術名詞 》。
非確定有限狀態自動機區別於確定有限狀態自動機（DFA），它的下一個可能狀態是唯一確定的。儘管DFA和NFA有不同的定義，在形式理論中可以證明它們是等價的；就是說，對於任何給定NFA，都可以構造一個等價的DFA，反之亦然：通過使用冪集構造。兩種類型的自動機只識別正則語言。非確定有限自動機有時被稱為有限類型的子...
使用半群理論研究自動機的結構及自動機的分解問題。(，，，)是一有限自動機（見有限自動機論）,是中元素組成的字元序列集合。對有限自動機輸入中的一個字元序列後，的每一個狀態都要分別變到另外一個狀態，因此，引導出狀態集合上的一個變換,簡記為【】。的所有由中字元序列引導出的變換，構成一個半群，這個半...
《編譯原理教程（第四版）（胡元義）》是2016年西安電子科技大學出版社出版的圖書，作者是胡元義。內容簡介 本書系統地介紹了編譯程式的設計原理及實現技術。在內容的組織上，本書強調知識的實用性，將編譯的基本理論與具體的實現技術有機地結合起來，既注重了理論的完整性，化繁為簡，又將理論融於具體的實例中，化...
第一部分 形式語言與自動機理論 第一章 語言與正規語言 1.1 符號、符號串及其運算 1.2 文法與語言的形式定義 1.3 正規表達式 1.4 正規文法與正規式 第二章 有限自動機 2.1 有限自動機的定義與構造 2.2 確定的有限自動機（DFA）2.3 不確定的有限自動機（NFA）2.4 NFA的確定化 2.5 DFA的最小化 2...
