形式語言與自動機論文結(jié)構(gòu)化程序設(shè)計思想在形式語言與自動機理論中的體現(xiàn)(編輯修改稿)
2025-07-11 20:30 本頁面
【文章內(nèi)容簡介】 aaaDbaaaDaaaBaaaBaaBaBRS. .... .... .... ... ..2121*1212121*211???????????????? 為負(fù)數(shù)，且 L1， mbbbDbDEPRS .... 21*1 ???????????? 綜上， L 均能被 M 接受，得證。 上面，我們主要講作者所舉的這個“經(jīng)典正則文法的例子” 首先 轉(zhuǎn)化成了標(biāo)準(zhǔn)的、等價的正則文法，又寫出了其對應(yīng)的正則語言，并且構(gòu)造了能夠接受這個正則語言的 DFA。 （二） 文章第 三 部分涉及到的關(guān)于 構(gòu)造自動機 的相關(guān)知識 文獻(xiàn)中對于識別語言 { 1}1,0{| 至少有兩個且 xxx ?? }的自動機給出了兩種答案。第一種答案構(gòu)造的是一種 NFA，答案二是一種 DFA，作者將這個問題轉(zhuǎn)化到結(jié)構(gòu)化程序 設(shè)計過程，因而根據(jù)兩種不同的思路，給出了兩種答案。這里，我們運用形式語言與自動機的相關(guān)理論知識，將 NFA 轉(zhuǎn)化為等價的 DFA: 定理 設(shè) L是被一個非確定的有窮自動機接受的語言，則存在一個確定的有窮自動機也接受語言 L。 已知接受該語言的 NFA M=({q1,q2,q3,s},{0,1},? ,s,{q3}),其中 3333223221121111)1,()0,()0,(},{)1,()0,(},{)1,(),(),(qqqqqqqqqqqqqqqSqS?????????????????? 現(xiàn)在構(gòu)造與其等價的 DFA 2M , 2M =( 39。39。039。39。 ,},1,0{, FqQ ? ),其中 ]},[],[],[],[],[],[],[ ,],[],[],[],[],
畢業(yè)設(shè)計相關(guān)推薦
鄂ICP備17016276號-1