《有限自動機的理論及其套用》是依託武漢大學,由姚家燕擔任項目負責人的專項基金項目。
基本介紹
- 中文名:有限自動機的理論及其套用
- 項目類別:專項基金項目
- 項目負責人:姚家燕
- 依託單位:武漢大學
- 批准號:19841003
- 申請代碼:A0102
- 負責人職稱:教授
- 研究期限:1998-01-01 至 1998-12-31
- 支持經費:1.5(萬元)
《有限自動機的理論及其套用》是依託武漢大學,由姚家燕擔任項目負責人的專項基金項目。
《有限自動機的理論及其套用》是依託武漢大學,由姚家燕擔任項目負責人的專項基金項目。項目摘要本課題是對有限自動機的基本理論和套用的研究,其目的是想更深刻地了解有限自動及其生成列的內在結構性質,並給出它們在動力系統、理論物理...
如計算機本身也可以是認為是一個有限狀態系統,儘管其可能狀態數目很大,但仍然是有限的,有限自動機理論是設計這些系統的有效工具,研究有限狀態系統的重要原因是概念的自然性和套用的廣泛性,例如,在編譯器中,人們主要用自動機來識別...
具體內容有邏輯網路實現、狀態化簡、狀態分配、神經網路、有限接收機和有限自動機的分解等。發展簡況1938年美國科學家C.E.仙農等套用布爾代數對繼電路接點電路進行研究,形成了開關網路理論,為有限自動機論的建立奠定了基礎。電子數字計算機...
有限狀態自動機識別的語言是正規語言。有限狀態自動機除了它在理論上的價值,還在數字電路設計、詞法分析、文本編輯器程式等領域得到了套用。自動機接受的所有字串構成了自動機識別的語言 L(M)。非確定有限狀態自動機 一個非確定有限狀態...
《有限自動機理論及其在正特徵函式域研究中的套用》是依託武漢大學,由姚家燕擔任項目負責人的青年科學基金項目。項目摘要 本課題藉助於有限自動機理論來研究特徵為正的函式域上的算術,屬於基礎理論類。我們將著重研究討論Drinfeld模特別是...
計算機控制系統的控制程式具有有限狀態自動機(FA)的特徵,可以用有限狀態機理論來描述。有限自動機(Finite Automata Machine)是計算機科學的重要基石,它在軟體開發領域內通常被稱作有限狀態機(Finite State Machine),是一種套用非常廣泛...
《自動機理論及其套用》是1990年科學出版社出版的圖書,作者是何成武。內容簡介 該書系統、扼要地介紹自動機的基本理論及其在形式語言、數字系統結構設計和自動綜合、微程式設計自動化、可程式邏輯陣列、收縮陣列(SYSTOLIC)設計、模式識別等...
《有限自動機理論》可作為高等學校計算機科學套用專業、軟體專業研究生的教材或參考書,也可作為計算機套用領域內廣大科技人員提高理論素質的參考書。目錄 第一章 基礎知識 1.1 集合及其運算 1.2 關係 1.2.1 二元關係 1.2.2 ...
常見自動機有以下幾種:以電話交換機為主要實例的有限自動機,是自動機理論的基礎,被套用到自動控制,生物系統中;由下推表組成的單項非確定程式的下推自動機;線性有界自動機;用來描述通用計算機計算能力的圖靈機模型;進行與轉移函式,...
有限自動機作為序列產生器是50年代中期開始深入研究的一個方向,代數方法得到了很好的套用。有限自動機作為序列識別器的研究方向,較早地建立了比較完善的理論。無限自動機論主要研究對象為算法和理想計算機這種存儲量不受限制的自動機。研究...
《自動機理論與套用》是2009年清華大學出版社出版的圖書,作者是里奇。內容簡介 《自動機理論與套用(影印版)》闡述了計算科學的優美理論基礎,通過演示計算理論在現代硬體和軟體系統設計中的影響,把理論知識帶到了現實實踐之中。《自動機...
系統地論述三類有限自動機——有限狀態自動機、下推自動機和圖靈機的基礎理論。從文法產生語言和自動機識別語言的角度對語言進行討論,介紹了文法與等價的自動機之間的轉換方法以及有限自動機的一些典型套用。本書以新的思維方式為讀者提供...
逐步轉換為串可EC’和輸出串b*任B*.由於通常把所有符號串集合的某一子集稱為(形式)語言,已經證明,有限自動機系統所能接納或識別的輸入符號串和生成的輸出符號串,只能是被稱為正規語言的較小的集合.上述必和幾的定義亦可改為由必...
在計算理論中,確定有限狀態自動機或確定有限自動機(英語:deterministic finite automation, DFA)是一個能實現狀態轉移的自動機。對於一個給定的屬於該自動機的狀態和一個屬於該自動機字母表求和的字元,它都能根據事先給定的轉移函式...
量子有限自動機 量子有限自動機(quantum finite automata)是2018年公布的計算機科學技術名詞。定義 有限自動機在量子計算領域的推廣。包括基於機率的量子有限自動機和基於量子邏輯的量子有限自動機。出處 《計算機科學技術名詞 》第三版。
在計算理論中,米利型有限狀態機(英語:Mealy machine)是基於它的當前狀態和輸入生成輸出的有限狀態自動機(更精確的叫有限狀態變換器)。這意味著它的狀態圖將為每個轉移邊包括輸入和輸出二者。與輸出只依賴於機器當前狀態的摩爾有限狀態...
本書是關於形式語言、自動機理論和計算複雜性方面的經典之作。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本...
儘管DFA和NFA有不同的定義,在形式理論中可以證明它們是等價的;就是說,對於任何給定NFA,都可以構造一個等價的DFA,反之亦然:通過使用冪集構造。兩種類型的自動機只識別正則語言。非確定有限自動機有時被稱為有限類型的子移位(sub...
《具有適應性的元胞自動機理論及套用》是依託吉林大學,由閆廣武擔任項目負責人的面上項目。項目摘要 研究具有適應性的元胞自動機演化的基本規律,建立演化規則與複雜現象,特別是湧現性的因果關係,籍以發現新的湧現性,通過研究複雜行為...
本書已被世界許多著名大學採用為計算機理論課程的教材或教學參考書,適合作為國內高校計算機專業高年級本科生或研究生的教材,還可供從事理論計算工作的研究人員參考。本書特點: 以簡潔和易理解的方式講述理論概念;強調理論的現代套用;使用...
不確定的有限自動機(non-deterministic finite automaton)是2018年公布的計算機科學技術名詞。定義 有限自動機的一種類型。其中狀態轉換函式是一個多值函式,即在當前狀態下讀到一個輸入字元時,自動機的下一狀態可以是多個狀態中的某一...
有限自動機的極小化(minimization of finite automaton)是2018年公布的計算機科學技術名詞。定義 把一個確定的有限自動機轉換為等價(即接受的語言相同)的最簡(即狀態集最小)的有限自動機。出處 《計算機科學技術名詞 》第三版。
《形式語言,自動機理論與計算導論》用簡潔清晰的方式闡述了相關理論概念,並深入涵蓋了形式文法及基本的自動機類型。同時對該領域的當前研究趨勢進行了相關概述。《形式語言,自動機理論與計算導論》概括了本學科的廣泛套用以及關於計算方面的...
有限狀態自動機擁有有限數量的狀態,每個狀態可以遷移到零個或多個狀態,輸入字串決定執行哪個狀態的遷移。有限狀態自動機可以表示為一個有向圖。有限狀態自動機是自動機理論的研究對象。有限狀態自動機是具有離散輸入和輸出的系統的一種...