




免費(fèi)預(yù)覽已結(jié)束,剩余1頁可下載查看
下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
*1.理解如下正則表達(dá)式,說明它們表示的語言(1)(00+11)+表示的語言特征是0和1都各自成對出現(xiàn)(2)(1+0)*0100+表示的語言特征是以010后接連續(xù)的0結(jié)尾(3)(1+01+001)*(e+0+00) 表示的語言特征是不含連續(xù)的3個(gè)0(4)(0+1)(0+1)*+ (0+1)(0+1)(0+1)* 表示所有長度為3n或2m的0,1串(n0,m0)(5)(0+1)(0+1)* (0+1)(0+1)(0+1)* 表示所有長度為3n+2m的0,1串(n0,m0)(6)00+11+(01+10)(00+11)*(10+01)表示的語言特征為長度為偶數(shù)n的串.當(dāng)n=2時(shí),是00或11的串。n4時(shí),是以01或10開頭,中間的子串00或11成對出現(xiàn),最后以10或01結(jié)尾的串*2.證明下列各式 褚穎娜 02282072(1)結(jié)合律 (rs)t=r(st) (r+s)+t= r+(s+t)1)證明 對 x(rs)t 總可以找到一組x1 x2 x3 使得 x=x1x2x3 其中x3t x1x2rs 且 x1r, x2s,則 x2x3st 因此x1(x2x3)r(st) 即 x1x2x3r(st) xr(st)得證 因此 (rs)tr(st)同理可證r(st) (rs)t 則 (rs)t=r(st) 成立2) 證明 對x(r+s)+t x(r+s)或xt 對于xr+sxr或rs ,因此xr或xs或xtxr或x(s+t) xr+(s+t)所以(r+s)+t r+(s+t)同理可證r+(s+t) (r+s)+t則(r+s)+t= r+(s+t) 成立(2)分配律 r(s+t)=rs+rt (s+t)r=sr+tr1) 證明 對于xr(s+t) 總可以找到x1 x2 使得x=x1x2 其中x1r, x2(s+t)由x2(s+t) x2s或x2t則x1x2rs或x1x2rt所以r(s+t)rs+rt對于xrs+rt xrs或xrt 且總可以找到一組x1 x2 使得x=x1x2 其中x1r, x2s或x1r, x2tx1r,x2s或x2t x1r,x2(s+t) x1x2r(s+t)所以rs+rtr(s+t)則r(s+t)=rs+rt2) 證明 對于x(s+t)r 總可以找到x1 x2 使得x=x1x2 其中 x1(s+t),x2r由x1(s+t) x1s或x1t則x1x2sr或x1x2tr所以(s+t)rsr+tr對于xsr+tr xsr或xtr 且總可以找到一組x1 x2 使得x=x1x2 其中x1s, x2r或x1t, x2r x1s或x1t, x2r x1(s+t) ,x2r x1x2(s+t)r所以sr+tr (s+t)r則(s+t)r=sr+tr(3)交換律 r+s=s+r 證明 對于 xr+sxr或xsxs或xrxs+r 所以r+ss+r 同理可證s+rr+s則r+s=s+r(4)冪等律 r+r=r 證明 對于 xr+r xr或xr xr 所以r+rr對于 xrxr或xrxr+r 所以rr+r 因此 r+r=r(5)加法運(yùn)算零元素:r+F=r 證明 對于 xr+F xr或xF xr 所以r+Fr對于 xrxr或xFxr+F 所以rr+F因此 r+F=r(6) 乘法運(yùn)算單位元:r=r=r證明:對xR xe=ex=x Re=eR=R re=er=r(7)乘法運(yùn)算零元素:r=r=證明:對xR x=x= R=R=R r=r=(8) F*=證明F*=F0F1F2F3.=F1F2F3.=(9) (r+)*=r*由第一章的作業(yè)1.30中的第九題 (L1)*=L1*其中L1為正則語言又r為正則表達(dá)式 正則語言可以用正則表達(dá)式表示,因此顯然有(r+)*=r*成立(10) (r*s*)*=(r+s)*由第一章的作業(yè)1.30中的第八題 (L2L1)*=( L2* L1*)* 其中L1、L2 為正則語言又r、s為正則表達(dá)式 正則語言可以用正則表達(dá)式表示,因此顯然有(r+s)*= (r*s*)*成立 即(r*s*)*=(r+s)*成立(11) (r*)*=r*由第一章的作業(yè)1.30中的第三題 (L1*)*= L1*其中L1為正則語言又r為正則表達(dá)式 正則語言可以用正則表達(dá)式表示,因此顯然有(r*)*= r*成立*3下面各式成立嗎?請證明你的結(jié)論(1) (r+rs)*r=r(sr+r)*證明:成立。如果對所有的k=0, (r+rs)k r=r(sr+r)k 成立,則(r+rs)*r=r(sr+r)*肯定成立可以用歸納法證明(r+rs)k r=r(sr+r)k對所有的k=0成立I. k=0時(shí)候,(r+rs)0 r=r= r(sr+r)0II. 假設(shè)k=n時(shí)候(r+rs)nr=r(sr+r)n成立,往證k=n+1時(shí)候結(jié)論成立 (r+rs)n+1r=(r+rs)n (r+rs)r=(r+rs)n (rr+rsr)= (r+rs)n r (r+sr)= r(sr+r)n (r+sr)= r(sr+r)n (sr+r)= r(sr+r)n+1這就是說,結(jié)論對k=n+1成立,即證明了(r+rs)k r=r(sr+r)k對所有的k=0成立,所以(r+rs)*r=r(sr+r)*(2) t(s+t)r=tr+tsr證明:不成立。不妨取r=0,s=1,t=2,則t(s+t)r=2(1+2)0=210+230,但tr+tsr=20+210.(3) rs=sr證明:不成立。不妨取r=0,s=1,顯然rs=01,而sr=10.(4) s(rs+s)*r=rr*s(rr*s)*不成立,假設(shè)r,s分別是表示語言R,S的正則表達(dá)式,例如當(dāng)R=0,S=1, L(s(rs+s)*r)是以1開頭的字符串,而L(rr*s(rr*s)*)是以0開頭的字符串.L(s(rs+s)*r) L(rr*s(rr*s)*)所以s(rs+s)*r rr*s(rr*s)*,結(jié)論不成立(5)(r+s)*=(r*s*)*證明:結(jié)論成立。I. L(r+s)=L(r)L(s), L(r)=L(rs0)L(r*s*), L(s)=L(r0s)L(r*s*)那么L(r+s)=L(r)L(s) L(r*s*),(L(r+s)* (L(r*s*)*,L(r+s)*) L( (r*s*)* ),所以(r+s)* (r*s*)*II. (r+s)*= (r+s)*)*,對任意m,n=0,rmsn (r+s)m+n ,所以r*s*(r+s)*(r*s*)*(r+s)*)*= (r+s)*由I,II可以知道(r*s*)*(r+s)*,(r+s)* (r*s*)*得到(r+s)*=(r*s*)* (6)(r+s)*=r*+s*不成立,假設(shè)r,s分別是表示語言R,S的正則表達(dá)式,例如當(dāng)R=0
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年網(wǎng)紅主題餐廳特色經(jīng)營授權(quán)合作合同
- 2025年高新技術(shù)企業(yè)項(xiàng)目貸款擔(dān)保合同含房產(chǎn)全權(quán)抵押條款
- 2025年智慧型住宅小區(qū)雨水收集利用與景觀設(shè)計(jì)綜合服務(wù)合同
- 2025年度足療中心專業(yè)技師勞動(dòng)合同及職業(yè)培訓(xùn)協(xié)議
- 2025年版醫(yī)療器械召回及患者賠償責(zé)任承擔(dān)合同
- 2025年綠色園區(qū)保安隊(duì)伍派遣與維護(hù)一體化合同
- 2025年家禽養(yǎng)殖產(chǎn)業(yè)鏈風(fēng)險(xiǎn)評估與市場預(yù)測服務(wù)合同
- 2025年校園食堂場地租賃及食品安全管理服務(wù)合同
- 2025年生態(tài)別墅水電系統(tǒng)改造與低碳節(jié)能建設(shè)合同
- 建筑工程分包合同
- (2025秋新版)蘇教版三年級(jí)數(shù)學(xué)上冊全冊教案
- 保密教育培訓(xùn)課件內(nèi)容
- 陜西省專業(yè)技術(shù)人員繼續(xù)教育2025公需課《黨的二十屆三中全會(huì)精神解讀與高質(zhì)量發(fā)展》20學(xué)時(shí)題庫及答案
- 2024-2025學(xué)年人教版數(shù)學(xué)五年級(jí)下學(xué)期期末試卷(含答案)
- 《安徒生童話》讀書分享名著導(dǎo)讀ppt
- 部編版五年級(jí)上冊語文 第10課 牛郎織女(一) 課后習(xí)題重點(diǎn)練習(xí)課件
- 第1章制圖基礎(chǔ)-金大鷹
- 清欠工作管理制度管理辦法
- (高清版)GB_T 40921-2021發(fā)泡聚丙烯(PP-E)珠粒
- 護(hù)理質(zhì)量管理會(huì)議記錄范文
- 干砌石護(hù)坡施工工藝標(biāo)準(zhǔn)
評論
0/150
提交評論