確定性自動機（deterministic automaton）是1990年公布的自動化科學技術名詞。
基本介紹
- 中文名：確定性自動機
- 外文名：deterministic automaton
- 所屬學科：自動化科學技術
- 公布時間：1990年
公布時間,出處,
公布時間
1990年，經全國科學技術名詞審定委員會審定發布。
出處
《自動化名詞》第一版。
確定性自動機
相關詞條
- 確定有限狀態自動機
確定有限狀態自動機 是由 一個非空有限的狀態集合 ； 一個輸入字母表（非空有限的字元集合）；一個轉移函式 （例如： ）；一個開始狀態 ；一個接受狀態的集合 ；所組成的5-元組。因此一個DFA可以寫成這樣的形式： 。工作...
- 確定下推自動機
在自動機理論中，確定性下推自動機（DPDA或DPA）是下推自動機的變體。 確定性下推自動機類接受確定性無上下文語言，這是無上下文語言的適當子集。機器轉換基於當前狀態和輸入符號，以及堆疊的當前最頂部符號。 堆疊中較低的符號不可見，...
- 自動機理論與套用
12.1 非確定性壓棧自動機的定義 177 12.2 確定性與非確定性PDA 180 12.2.1 確定性PDA的定義 180 12.2.2 了解非確定性 181 12.2.3 減少非確定性 183 12.3 上下文無關文法與PDA的等價性 184 12.3.1 建立一個文法的...
- 機率自動機
特別地，機率自動機的狀態總是隨機向量，因為任意兩個隨機矩陣的乘積是隨機矩陣，並且隨機向量和隨機矩陣的乘積也是隨機向量。這個向量有時被稱為狀態分布，強調它是一個離散的機率分布。形式上，機率自動機的定義不需要非確定性自動機的...
- 新型量子邏輯:確定性邏輯的超越
《新型量子邏輯：確定性邏輯的超越》是2013年中國社會科學出版社出版的圖書，作者是于海飛。內容簡介 《新型量子邏輯:確定性邏輯的超越》主要從量子力學的本體論特性—整體互補性出發，以數理辯證邏輯為工具，即在吸收了數理辯證邏輯的合理...
- 喬姆斯基分層
存在確定性上下文無關語言不是正則的。存線上性語言不是正則的。存在確定性上下文無關語言不是線性的。存線上性語言不是確定性上下文無關的。線性有界自動機是非確定性圖靈機帶上線性空間的約束。相似的約束在確定性圖靈機上隨之產生了所謂...
- 米凱爾·拉賓
拉賓和斯科特將圖靈的有限狀態自動機從確定性一種形態擴展到非確定性的另一種形態，極大地推動了有限狀態自動機理論的發展。雖然非確定性有限狀態自動機的能力並不比確定性的有任何增加(拉賓和斯科特自己已經證明任何可以用非確定性機器解決...
