編譯原理實驗nfa確定化為dfa-文庫吧資料
2025-07-05 16:57本頁面
【正文】 閉包沒有新增狀態(tài)的時候執(zhí)行結(jié)束。具體思想為： ，初值與列表a相等。其中關(guān)于映像的輸入格式：先輸入狀態(tài)一，再輸入輸入符號，最后輸入狀態(tài)二，一次輸入一條弧。四、實驗思路 本次實驗采用python完成。closure函數(shù)狀態(tài)集合I的ε—閉包，表示為ε—closure(I)，定義為一狀態(tài)集，是狀態(tài)集I中的任何狀態(tài)S經(jīng)任意條ε弧而能到達的狀態(tài)的集合。不確定有窮狀態(tài)自動機的確定化 目錄一、實驗名稱 2二、實驗?zāi)康?2三、實驗原理 2NFA定義 2DFA的定義 2closure函數(shù) 2move函數(shù) 3四、實驗思路 3輸入 3closure算法 3move算法 3構(gòu)造子集 4輸出 4五、實驗小結(jié) 4輸入存儲問題 4closure算法問題 4輸出問題 5六、附件 5源代碼 5運行結(jié)果截圖 7一、實驗名稱 不確定有窮狀態(tài)自動機的確定化二、實驗?zāi)康妮斎耄悍谴_定有窮狀態(tài)自動機NFA 輸出：確定化的有窮狀態(tài)自動機DFA三、實驗原理 NFA定義 一個不確定的有窮自動機M是一個五元組，M=(K,E,f,S,Z)其中a. K是一個有窮集，它的每個元素稱為一個狀態(tài)；b. E是一個有窮字母表，它的每個元素稱為一個輸入符號；c. f是一個從KE*到K的子集的映像，即：K*E*2k，其中2k表示K的冪集；d. S包含于K，是一個非空初態(tài)集；e. Z包含于K，是一個終態(tài)集。DFA的定義一個確定的有窮自動機M是一個五元組，M=(K,E,f,S,Z)其中a. K是一個有窮集，它的每個元素稱為一個狀態(tài)；b. E是一個有窮字母表，它的每個元素稱為一個輸入符號；c. f是轉(zhuǎn)換函數(shù)，是KEK上的映像，即，如f(ki,a)=kj(ki∈K,kj∈K)就意味著，當(dāng)前狀態(tài)為ki，輸入字符為a時，將轉(zhuǎn)換到下一狀態(tài)kj，我們把kj稱作ki的一個后繼狀態(tài)；d. S∈K，是唯一的一個初態(tài)；e. Z包含于K，是一個終態(tài)集，終態(tài)也稱可接受狀態(tài)或結(jié)束狀態(tài)。move函數(shù) 狀態(tài)集合I的a弧轉(zhuǎn)換，表示為move(I,a)，定義為狀態(tài)集合J，其中J是所有那些從I中的某一狀態(tài)經(jīng)過
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號-1