形式語言與自動(dòng)機(jī)論文結(jié)構(gòu)化程序設(shè)計(jì)思想在形式語言與自動(dòng)機(jī)理論中的體現(xiàn)-全文預(yù)覽
【正文】 義上的正則文法。M=({S,R,N,B,P,M,E,D,f},{.,0,1,+,},? ,S,{f}),其中： ? ?}{a)af( }a|f{}a|{),( ???? T PBPCBCaB ?? ????? ，對一切， 若滿足 下面證明 M 可以接受上述文法產(chǎn)生的正則語言： 對于上述文法產(chǎn)生的語言，我們可以描述為 ,. .... .. 121121 或?yàn)??? ?? cbbbbaaacaL mmnn ， 那么可以由 M 經(jīng)過如下推倒得到： 為正數(shù)，且 L1， mnnnnbbbaaaDbaaaDaaaBaaaBaaBaBRS. .... .... .... ... ..2121*1212121*211???????????????? 為正數(shù)，且 L1， mbbbDbDEPRS .... 21*1 ???????????? 為 0, 0?S 為負(fù)數(shù)，且 L1， mnnnnbbbaaaDbaaaDaaaBaaaBaaBaBRS. .... .... .... ... ..2121*1212121*211???????????????? 為負(fù)數(shù)，且 L1， mbbbDbDEPRS .... 21*1 ???????????? 綜上， L 均能被 M 接受，得證。這里，我們運(yùn)用形式語言與自動(dòng)機(jī)的相關(guān)理論知識(shí)，將 NFA 轉(zhuǎn)化為等價(jià)的 DFA: 定理 設(shè) L是被一個(gè)非確定的有窮自動(dòng)機(jī)接受的語言，則存在一個(gè)確定的有窮自動(dòng)機(jī)也接受語言 L。39。 SqqSqqSqSqqqqqqqqqqqF ? ],[)1],([],[)1],([],[)1],([],[)1],([],[)0],([],[)0],([][)1],([],[)0],([
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號(hào)-1