有限自動機的極小化(minimization of finite automaton)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:有限自動機的極小化
- 外文名:minimization of finite automaton
- 所屬學科:計算機科學技術
- 公布時間:2018年
有限自動機的極小化(minimization of finite automaton)是2018年公布的計算機科學技術名詞。
有限自動機的極小化(minimization of finite automaton)是2018年公布的計算機科學技術名詞。定義把一個確定的有限自動機轉換為等價(即接受的語言相同)的最簡(即狀態集最小)的有限自動機。出處...
在自動機理論(計算機科學的一個分支)中,確定有限狀態自動機最小化是將給定的確定有限狀態自動機(DFA, Deterministic Finite Automaton)改造為等價且擁有最少狀態的DFA的過程。這裡,兩個DFA等價意味著他們識別相同的正則語言。最小DFA 對於每個正則語言,都存在一個最小自動機接受它,即一個有著最小狀態數目的DFA...
量子有限自動機:等價性和最小化是一本2019年出版的圖書,由浙江大學出版社出版 內容簡介 量子計算是計算機科學與量子力學交叉產生的新興學科,經過30多年的發展,在理論和實驗方面都已經取得了長足的進展。本書從計算機科學領域自動機理論的角度來考察量子計算,力圖通過有限自動機這個簡單而重要的模型來探索量子計算與...
有限狀態自動機(FSM finite state machine 或者FSA finite state automaton )是為研究有限記憶體的計算過程和某些語言類而抽象出的一種計算模型。有限狀態自動機擁有有限數量的狀態,每個狀態可以遷移到零個或多個狀態,輸入字串決定執行哪個狀態的遷移。有限狀態自動機可以表示為一個有向圖。有限狀態自動機是自動機理論...
有限自動機(finite automata)亦稱時序機,有限離散數字系統的抽象數學模型。一個有限自動機M由五元組(X,Y,S,δ,λ)給定,其中X,Y和S都是非空有限集,分別稱為M的輸入集、輸出集和狀態集;δ是笛卡兒積集合S×X到S的映射,稱為M的下一狀態函式;λ是S×X到Y的單值映射,稱為M的輸出函式。當δ是單值映射...
有窮自動機是一種有窮級數模型。它由一個讀頭和一條有窮長的紙帶所組成,紙帶被分割成有限個同樣大小的單元,每個單元中可以是空的,或寫有取自有窮字母表 上的一個字母,讀頭在每一時刻都對準一個單元,並具有一個確定的內部狀態,這些內部狀態構成一個有窮集 。其中指定一個(比如 q₁)為初始狀態,...