形式語(yǔ)言與自動(dòng)機(jī)

12023/5/24CollegeofComputerScience&Technology,BUPTFormalLanguagesandAutomata

課程名稱(chēng)形式語(yǔ)言與自動(dòng)機(jī)教師姓名楊娟 （計(jì)算機(jī)學(xué)院軟件工程中心）

電話62283779

信箱

yangjuan@22023/5/24CollegeofComputerScience&Technology,BUPT緒論課程信息為什么學(xué)習(xí)形式語(yǔ)言與自動(dòng)機(jī)形式語(yǔ)言與自動(dòng)機(jī)概述及應(yīng)用課程內(nèi)容及要求32023/5/24CollegeofComputerScience&Technology,BUPT

專(zhuān)業(yè)基礎(chǔ)課

上世紀(jì)60年代末、70年代初，研究的高峰

之后，向應(yīng)用領(lǐng)域滲透，研究生課程

近幾年，本科階段的專(zhuān)業(yè)基礎(chǔ)課

專(zhuān)業(yè)工作者必須的理論素養(yǎng)

計(jì)算模型計(jì)算機(jī)（不）能夠做什么問(wèn)題分類(lèi)計(jì)算的復(fù)雜性，算法分析形式系統(tǒng)建模工具（狀態(tài)機(jī)）抽象描述形式文法、形式表達(dá)式

課程性質(zhì)42023/5/24CollegeofComputerScience&Technology,BUPT相關(guān)課程先修課程

《離散數(shù)學(xué)》（《數(shù)理邏輯》，《集合論》）計(jì)算機(jī)導(dǎo)論與程序設(shè)計(jì)、數(shù)據(jù)結(jié)構(gòu)

后續(xù)課程

《編譯原理》

其它相關(guān)課程《模式識(shí)別》、《算法分析》52023/5/24CollegeofComputerScience&Technology,BUPT教材： 形式語(yǔ)言與自動(dòng)機(jī) 王柏楊娟

編著 北京郵電大學(xué)出版社2003.162023/5/24CollegeofComputerScience&Technology,BUPT經(jīng)典參考書(shū)

書(shū)名

IntroductiontoAutomataTheory,Languages,andComputation（SecondEdition）

作者

JohnE.Hopcroft（Cornell）RajeevMotwani（Stanford）JeffereyD.Ullman（Stanford）

出版社

AddisonWesley（2001）

清華大學(xué)出版社（影印版）FirstEdition

中譯本《自動(dòng)機(jī)理論、語(yǔ)言和計(jì)算導(dǎo)引》

徐美瑞等譯科學(xué)出版社，1990

John.E.Hopcroft,theTuringAwardwinnerin1986.72023/5/24CollegeofComputerScience&Technology,BUPT其它參考書(shū)

《自動(dòng)機(jī)理論及其應(yīng)用》何成武科學(xué)出版社1990《形式語(yǔ)言及其句法分析》美A.V.阿霍等科學(xué)出版社1987《形式語(yǔ)言》王兵山，吳兵編國(guó)防工業(yè)大學(xué)出版社，1988

《形式語(yǔ)言與自動(dòng)機(jī)理論》蔣宗禮，姜守旭.清華大學(xué)出版社，2003《形式語(yǔ)言與自動(dòng)機(jī)》陳有祺編著機(jī)械工業(yè)出版社，2008

82023/5/24CollegeofComputerScience&Technology,BUPT為什么學(xué)習(xí)形式語(yǔ)言與自動(dòng)機(jī)形式語(yǔ)言與自動(dòng)機(jī)是計(jì)算機(jī)科學(xué)的基礎(chǔ)理論之一，是計(jì)算機(jī)學(xué)科的專(zhuān)業(yè)基礎(chǔ)課。在人工智能、電信領(lǐng)域等有廣泛的應(yīng)用。通過(guò)一些定理的證明和應(yīng)用，對(duì)大家進(jìn)行思維訓(xùn)練，從而為今后學(xué)習(xí)通信軟件，協(xié)議工程，編譯技術(shù)，人工智能等內(nèi)容提供理論基礎(chǔ)。92023/5/24CollegeofComputerScience&Technology,BUPT對(duì)客觀世界的科學(xué)研究：目的在于把抽象數(shù)學(xué)的形式化體系發(fā)展成為與現(xiàn)實(shí)生活相似的理論模型，從而提供一種通用結(jié)構(gòu)來(lái)描述、理解和解決問(wèn)題。計(jì)算機(jī)科學(xué)：是關(guān)于計(jì)算知識(shí)的有系統(tǒng)的整體。102023/5/24CollegeofComputerScience&Technology,BUPT計(jì)算機(jī)科學(xué)的兩個(gè)主要部分：構(gòu)成計(jì)算基礎(chǔ)的一些基本概念和模型；設(shè)計(jì)計(jì)算系統(tǒng)(軟件和硬件)的工程技術(shù)（設(shè)計(jì)理論的應(yīng)用）本課程著重介紹第一部分（涉及到一些第二部分的應(yīng)用），通過(guò)形式化技術(shù)對(duì)大家進(jìn)行思維訓(xùn)練，為今后的學(xué)習(xí)打好理論基礎(chǔ)。4種基本的專(zhuān)業(yè)能力計(jì)算思維能力算法的設(shè)計(jì)與分析能力程序設(shè)計(jì)和實(shí)現(xiàn)能力計(jì)算機(jī)軟硬件系統(tǒng)的認(rèn)知、分析、設(shè)計(jì)與應(yīng)用能力計(jì)算思維能力邏輯思維能力和抽象思維能力構(gòu)造模型對(duì)問(wèn)題進(jìn)行形式化描述理解和處理形式模型112023/5/24122023/5/24CollegeofComputerScience&Technology,BUPT2023/5/2413能力培養(yǎng)學(xué)生的形式化描述和抽象思維能力。使學(xué)生了解和初步掌握“問(wèn)題、形式化描述、自動(dòng)化（計(jì)算機(jī)化）”這一最典型的計(jì)算機(jī)問(wèn)題求解思路。形式語(yǔ)言與自動(dòng)機(jī)概述及應(yīng)用本門(mén)課程將圍繞著什么是形式語(yǔ)言、什么是自動(dòng)機(jī)、以及形式語(yǔ)言和自動(dòng)機(jī)的相互關(guān)系進(jìn)行闡述。核心內(nèi)容有限狀態(tài)自動(dòng)機(jī)，正規(guī)語(yǔ)言，正規(guī)表達(dá)式上下文無(wú)關(guān)文法，上下文無(wú)關(guān)語(yǔ)言，下推自動(dòng)機(jī)圖靈機(jī)，計(jì)算問(wèn)題分類(lèi)142023/5/24CollegeofComputerScience&Technology,BUPT152023/5/24CollegeofComputerScience&Technology,BUPT1．形式語(yǔ)言什么是形式語(yǔ)言形式語(yǔ)言:形式化描述的字母表上的字符串的集合。字母表：字符的有限集合。e.g.：26個(gè)英文字母構(gòu)成的字母表。字符串：字母表中的字符構(gòu)成的有限序列。e.g.hello,afjhkfyu

1620腸23盜/5衡/1借8Co忽ll弊eg候e彎of你C蔥om輸pu獻(xiàn)te模r氣Sc妙ie梅nc塔e什&劍Te眉ch商no慕lo金gy忌,搞BU疼PT為什仿么用閱形式驚語(yǔ)言自然再語(yǔ)言：人汁們平圣時(shí)說(shuō)僚話時(shí)暴所使曉用的啊一種紐奉語(yǔ)言怖，不偉同的暮國(guó)家益和民鴿族有杏著不勉同的伐語(yǔ)言農(nóng)。形式襖語(yǔ)言通過(guò)磚人們漢公認(rèn)今的符追號(hào)，貞表達(dá)擔(dān)方式百所描忠述的鞏一種犧語(yǔ)言侮，是摘一種西通用街語(yǔ)言胸，沒(méi)徹有國(guó)顏籍之帝分。形式叫語(yǔ)言律是某宅個(gè)字睜母表賭上的夾字符帶串的土集合報(bào)，有水一定贈(zèng)的描訓(xùn)述范赴圍。1720魚(yú)23稠/5咱/1邁8Co孟ll代eg溝e帝of幸C臘om錦pu貧te艘r妖Sc鵲ie焦nc很e黨&面Te釣ch施no撲lo慣gy蓄,廚BU蘋(píng)PT例1晌：居漢語(yǔ)用：滴<鄭主>更<趨謂>佩<備賓>孤――攔用途數(shù)字塵、符境號(hào)等映形式剪化的午東西怎來(lái)描每述語(yǔ)工言我吃種飯素――輔語(yǔ)衫法正讀確我飯鉛吃酬――辨語(yǔ)屋法錯(cuò)子誤飯吃轟我葡――摩語(yǔ)墳法正鄰確，殲語(yǔ)義超錯(cuò)誤1820礎(chǔ)23銳/5岔/1墨8Co儉ll鈴eg遠(yuǎn)e努of舍C易o(hù)m股pu仿te教r活Sc潮ie隙nc蛇e懸&嬌Te叼ch閣no號(hào)lo殲gy撞,虎BU呆PT例2萍：T為PA緣瑞SC煩AL語(yǔ)言助所用濾的全踐部符句號(hào)的望集合鳥(niǎo)。正確嶺的PA掃SC途AL程序?qū)m就是T上的倉(cāng)語(yǔ)言舒。例3吉：在參字母玩表T=穿{a示}上，L佛=走{a2n胡+1|偵n劫>=吉0即}表示嶺任意神一對(duì)aa疤(包括轟0對(duì)漢)編后跟推一個(gè)a的字注符串津。（這即含云有奇割數(shù)個(gè)a的字拔符串專(zhuān)。）1920曉23卷/5屋/1允8Co慰ll伍eg李e漫of盞C客om店pu吊te首r使Sc粒ie大nc挺e森&省Te姨ch跳no屈lo右gy判,柳B(niǎo)U搖PT形式偽語(yǔ)言月的最發(fā)初起澆因：返語(yǔ)萄言學(xué)體家（Ch忽om抄sk權(quán)y）想用全一套讓形式予化方概法來(lái)叫描述超語(yǔ)言次。形式埋語(yǔ)言惹在自貝然語(yǔ)律言研淋究中置起步浩，在似計(jì)算佳機(jī)科宣學(xué)中曬得到押廣泛噸應(yīng)用沈。最初役的應(yīng)幫用：竹編譯兩―旅―沫讓計(jì)怒算機(jī)紹按照民語(yǔ)法像規(guī)則杰將高茶級(jí)語(yǔ)牢言方演便地婚翻譯醒成機(jī)橋器語(yǔ)芒言。2020遼23照/5舞/1局8Co紗ll買(mǎi)eg淹e外of凍C貧om偽pu似te街r攔Sc協(xié)ie士nc技e騎&神Te妥ch很no狹lo移gy鞋,宗BU孩PT現(xiàn)在豪：窩已廣逮泛應(yīng)拉用在浸人工戚智能權(quán)、圖吳象處鄙理、門(mén)通信煩協(xié)議售、通取信軟段件等頸多個(gè)桃領(lǐng)域在計(jì)吧算機(jī)躲理論圾科學(xué)利方面蠢：是可砍計(jì)算沙理論好（算印法―百在有香限步床驟內(nèi)份求得弊解、朱算法自復(fù)雜輛性、輪停機(jī)竊問(wèn)題顏、）醒、定詞理自休動(dòng)證飼明、件程序始轉(zhuǎn)換栽（程層序自前動(dòng)生豬成）們、模抹式識(shí)踢別等屠的基然礎(chǔ)。2120爭(zhēng)23乳/5益/1習(xí)8Co鬧ll市eg煙e燦of信C步om宰pu弊te餐r彎Sc撐ie連nc嘆e撈&找Te厲ch目no侮lo燃gy府,伏BU鍵PT比爾孩.蓋參茨：亮人類(lèi)也計(jì)算饅的未傲來(lái)是曠讓計(jì)償算機(jī)攏能夠傍看、楚聽(tīng)、額學(xué)，暗能用馬自然僅語(yǔ)言潔與人魚(yú)類(lèi)交煌流形式渴化非姥常重斧要例1：微個(gè)軟對(duì)橋聯(lián)軟悟件網(wǎng)址眠：ht紀(jì)tp胃:/呼/c適ou灑pl局et車(chē).m什sr罵a.困cn旅/例2：圖暈靈測(cè)蔬試2220階23糠/5芝/1延8Co趙ll淹eg偵e暈of懼C扯om著pu貪te白r平Sc佩ie帶nc徑e漿&拔Te版ch蜜no寄lo釋gy小,敘BU論P(yáng)T圖靈掏測(cè)試(1煎)問(wèn)：愁請(qǐng)給雞我寫(xiě)乏出有栽關(guān)“豬第四苦號(hào)橋?！敝髋}的躬十四壓行詩(shī)狂。答：禁不要羽問(wèn)我裝這道猴題，掩我從壘來(lái)不幼會(huì)寫(xiě)棄詩(shī)。問(wèn)：34情95謊7加70露76涼4等于榴多少想？答：喇（停30秒后圣）10沈57母21問(wèn)：焰你會(huì)野下國(guó)褲際象搶棋嗎見(jiàn)？答：亡是的球。問(wèn)：均我在呼我的K1處有述棋子K；你慮僅在K6處有沸棋子K，在R1處有叛棋子R?，F(xiàn)罩在輪傍到你嚼走，奧你應(yīng)托該下協(xié)那步胳棋？答：功（停15秒鐘富后）挨棋子R走到R8處，燙將軍朵！2320脖23些/5幻玉/1泄8Co杏ll爐eg除e半of釘C強(qiáng)om剩pu慕te落r然Sc泉ie洽nc許e男&泳Te漂ch缺no拾l(fā)o服gy央,謎BU鐘PT圖靈栽測(cè)試(2鞭)問(wèn)：宰你會(huì)潮下國(guó)鋸際象曾棋嗎余？答：飼是的侮。問(wèn)：凳你會(huì)炭下國(guó)滲際象螺棋嗎卵？答：躍是的蜜。問(wèn)：振請(qǐng)?jiān)購(gòu)R次回極答，提你會(huì)柜下國(guó)找際象趴棋嗎??？答：江是的稿。2420踩23核/5碼/1貨8Co晴ll訊eg弱e維of維C故om燒pu刷te違r勵(lì)Sc蹈ie益nc傭e凳&塘Te騙ch租no下lo規(guī)gy宗,性BU配PT圖靈貧測(cè)試(3夏)問(wèn)：蜓你會(huì)鋒下國(guó)并際象偏棋嗎咸？答：翻是的麻。問(wèn)：險(xiǎn)你會(huì)穿下國(guó)廊際象持棋嗎東？答：子是的散，我棵不是斜已經(jīng)譜說(shuō)過(guò)位了嗎資？問(wèn)：桐請(qǐng)?jiān)俚痛位爻反?，叼你?huì)憂(yōu)下國(guó)研際象蠻棋嗎盞？答：域你煩殘不煩噸，干概嘛老吊提同湯樣的個(gè)問(wèn)題衛(wèi)。2520鐵23爆/5桂/1輛8Co瘦ll固eg猶e牙of務(wù)C擔(dān)om垂pu擾te于r乓Sc筋ie禿nc線e輕&地Te尺ch昆no淹lo屆gy冷,平BU性PT在線處圖靈敞測(cè)試施網(wǎng)址Ar袖ti當(dāng)fi備ci統(tǒng)al麗s淹ol末ut桂io嘉nht例tp達(dá):/煩/w幫ww態(tài).a猾rt港if奏ic付ia到l-申so蘭lu婦ti中on壞s.特co眨m/Al塔ic孤eht數(shù)tp忌:/憤/w盯ww盯.p荷an分do莖ra慢bo怠ts遞.c劑om碼/p綢an轟do棚ra貿(mào)/t房誠(chéng)al敗k?壞bo非ti眨d=顆f5禾d9詳22茅d9裁7e偷34慨5a疏a1El膚bo熔tht放tp唯:/跑/w歡ww皇.e旁lb卷ot共.c桂om犯/c騙gi鉗-b迫in陶/e征lb湊ot僻.c土gi例3：人磚機(jī)大疤戰(zhàn)20液11年2月17日，害經(jīng)過(guò)3天比惜賽，IB葉M新一徐代超織級(jí)電棄腦系杯統(tǒng)“章沃森折”，絹?zhàn)罱K動(dòng)在美唱國(guó)的展著名原智力兄游戲備節(jié)目《危險(xiǎn)獅邊緣》中擊播敗了偏兩位百人類(lèi)仔選手倡肯·詹寧洋斯和肺布拉承德·魯特個(gè)取得傘冠軍煎，并屈且贏巷取了10悅0萬(wàn)美垮元的臘獎(jiǎng)金驚。19陶97年超悼級(jí)計(jì)票算機(jī)石“深剖藍(lán)”首力克混國(guó)際也世界叛冠軍盈卡斯征帕羅蓮夫?！拔挚h森”臟的名矛字取滅自于IB刊M創(chuàng)始挎人托陜馬斯轎沃森丑，它辣是IB研M親歷病打造啞的最腳新一塵代電暑腦超沿級(jí)系縱統(tǒng)，妖為了迫完成武一項(xiàng)吼艱巨乖挑戰(zhàn)必，建傅造一水個(gè)能巴夠與劃人類(lèi)倡答題愿能力我相匹姨敵的脫計(jì)算跡系統(tǒng)鞏。沃森罷”參餐加的乒是智捷力問(wèn)阻答比泡賽，腸而不膜是國(guó)銜際象秤棋對(duì)辯弈，屯想當(dāng)摔年“腳深藍(lán)奮”只激要具腳有足票夠強(qiáng)嶼大的寒計(jì)算協(xié)能力踢就一車(chē)定能暮夠獲麥勝，莫但是刺“沃郵森”膚不同動(dòng)，它只需要季識(shí)別跨非常行復(fù)雜欲的人街類(lèi)語(yǔ)咱言，貿(mào)并要?jiǎng)e從中嚼分析值微妙柳的含挺義，類(lèi)諷刺清口吻缸以及獄各種痛暗示獎(jiǎng)，理衛(wèi)清各捷種邏嘴輯線缺索，節(jié)還要魯能猜烤謎語(yǔ)翠，進(jìn)旱行構(gòu)趴詞斷船句，甘并通云過(guò)一襖系列罷數(shù)字炮比對(duì)造和模竹擬人情類(lèi)的士聯(lián)想養(yǎng)能力皇得出貢精準(zhǔn)挪的答肉案，聲再反劇向使餅用人律類(lèi)的負(fù)語(yǔ)言敏進(jìn)行古答題狠。而貓且這刮整個(gè)玻分析記解答嬸過(guò)程鋤僅憑事計(jì)算且機(jī)和跨軟件時(shí)算法見(jiàn)的完首成，魄沒(méi)有殊工程截師的溉參與躁，也百?zèng)]有柜互聯(lián)騎網(wǎng)的裝支持鞭。而“沃森”的出類(lèi)現(xiàn)會(huì)到節(jié)省晉我們乘很多渾勞動(dòng)論力，支比如殖說(shuō)有艇一張塌報(bào)表傭，上陜面有良很多話需要球我們鵲去填隸的東牛西，信你把嗓這張?jiān)笀?bào)表芝給“沃森”看一錄看它湖就能農(nóng)得出灘答案;它在某搜索湯方面萄也會(huì)膨有比抗較大沖的潛紡力，逢平時(shí)冊(cè)我們武搜索焰可能取是輸修入一背個(gè)關(guān)物鍵詞蕩，得傅出一打大堆出的答拆案，引然后仿我們芬一個(gè)頃一個(gè)范的去瘡找，詳?shù)晦D(zhuǎn)要把屬我們?cè)枰H的東扁西告鵲訴給錫“沃坡森”座，“沃森”就會(huì)噴給我摧們一伯個(gè)準(zhǔn)頌確的顏答案坑，這蒼就是宣它最攔好的撿一個(gè)友地方狼。2620批23慣/5抖/1賢8Co鍛ll擔(dān)eg騰e類(lèi)of綱C輕om僚pu耽te邪r放Sc席ie賣(mài)nc損e鹿&免Te擾ch緞no數(shù)lo倍gy汪,愛(ài)BU側(cè)PT2720蘇23標(biāo)/5膽/1座8Co偽ll牙eg贊e途of擺C況om閃pu電te租r紹Sc攤ie坊nc銹e褲&羨Te復(fù)ch乎no語(yǔ)lo軋gy恰,蘇BU復(fù)PT2.鄙自盜動(dòng)機(jī)什么裁是自梨動(dòng)機(jī)育？具有榮離散狼輸入獸輸出挨的數(shù)蒜學(xué)模熔型。大量偉通信的軟件份的基所本工邁作機(jī)睡制都粘是有示限狀艇態(tài)自襖動(dòng)機(jī)戚。自斯動(dòng)機(jī)失理論傲在通陶信領(lǐng)謊域中柔的應(yīng)沿用極找為廣好泛。2820袋23疲/5矮/1晚8Co示ll諒eg成e暴of蓮C蔑om煎pu鉗te玩r彼Sc膛ie嘩nc漁e柜&替Te載ch傻no雖lo葉gy充,共BU強(qiáng)PT自動(dòng)膛機(jī)接時(shí)受一抓定的級(jí)輸入剛，執(zhí)架行一潔定的徒動(dòng)作幸，產(chǎn)曬生一關(guān)定的椒結(jié)果剖。使聞?dòng)脿钆_(tái)態(tài)遷竭移描濱述整王個(gè)工網(wǎng)作過(guò)事程。狀態(tài)：一財(cái)個(gè)標(biāo)搜識(shí)，赤能區(qū)律分自隙動(dòng)機(jī)綢在不惠同時(shí)趁刻的沃狀況盆。有垮限狀或態(tài)系可統(tǒng)具籮有任炮意有領(lǐng)限數(shù)寇目的圍內(nèi)部倍“狀慰態(tài)”自動(dòng)墊機(jī)的谷本質(zhì)：根粒據(jù)狀堡態(tài)、板輸入亞和規(guī)亦則決潛定下恰一個(gè)禮狀態(tài)狀態(tài)同＋勻輸幟入（耳激勵(lì)屋）＋販規(guī)皆則燃―>咱狀態(tài)熄遷移2920帥23洗/5籍/1披8Co利ll搖eg農(nóng)e灘of篇C挖om暮pu扣te財(cái)r轟Sc撤ie巖nc塊e貍&鍛Te撓ch餐no障lo臘gy盞,熊BU集PT為什役么叫概自動(dòng)玻機(jī)？可能鼓的狀榆態(tài)、棟運(yùn)行意的規(guī)輝則都竟是事賤先確商定的蠢。一鄰旦開(kāi)豆始運(yùn)壞行，孫就按乎照事凍先確散定的守規(guī)則殺工作切，因寒此叫佳“自事動(dòng)機(jī)伴”。有限餅自動(dòng)暈機(jī)可腐以認(rèn)興為是羅由一泊個(gè)帶稈有讀險(xiǎn)頭的累有限閘控制打器和尖一條務(wù)寫(xiě)有些字符輕的輸撇入帶陡組成輛。3020側(cè)23乘/5雷/1唐8Co立ll黨eg腳e煙o(wú)f誰(shuí)C沖om暈pu西te濟(jì)r姥Sc腎ie纖nc缺e傳&雙Te繩ch張no寫(xiě)lo笑gy臥,宏BU等PT例1榜：打基電話沒(méi)(蔽自動(dòng)井機(jī)在充通信睜領(lǐng)域壞的應(yīng)逮用)丟。在一捷次呼月叫中宰，從炊建立恰連接刮到通閥話完干畢，卻要經(jīng)獄歷摘易機(jī)，印撥號(hào)田，應(yīng)蘆答，泉進(jìn)行漸通話塵等過(guò)債程，欠可以哥分別加用五擇個(gè)狀屬態(tài)來(lái)疊表示逝。q0q1q2q3q4摘機(jī)收到撥號(hào)音撥號(hào)收應(yīng)答信號(hào)掛機(jī)收齊號(hào)碼q0:空閑狀態(tài)q1:等待撥號(hào)狀態(tài)q2:可以撥號(hào)狀態(tài)q3:等待應(yīng)答狀態(tài)q4:通話狀態(tài)3120婆23紡/5網(wǎng)/1目8Co厭ll甩eg嫌e貪of共C螺om愧pu豆te頌r賣(mài)Sc才ie當(dāng)nc株e污&襪Te池ch問(wèn)no臥lo榨gy打,夾BU查PT例2磚：串信口通陪信兩臺(tái)寨微機(jī)才通過(guò)容串口丸通信第,顧需在寇兩臺(tái)證機(jī)器恒間建嬸立好痕連接想后，盡才可傅以傳帶遞數(shù)鳥(niǎo)據(jù)，源可以喜使用晝有限岔狀態(tài)更自動(dòng)載機(jī)，牙描述鵲串口墳通信雖的狀告態(tài)。傳輸數(shù)據(jù)收到應(yīng)答斷開(kāi)連接連接請(qǐng)求q0q1q23220拒23竄/5繞/1犬8Co棕ll褲eg妖e依of擁C物om桶pu飽te慰r瘡Sc姨ie金nc菜e顧&鐘Te狀ch蔽no驢lo蛋gy桐,栗BU漂PT根據(jù)艱結(jié)構(gòu)麻不同疏，自巨動(dòng)機(jī)組又可移分為透有限犬自動(dòng)雞機(jī)，裂下推總自動(dòng)氏機(jī)，端圖靈培機(jī)等隨。下推資自動(dòng)飲機(jī)可揮以看怒作是裙由一腐條輸?shù)A入帶垮，一打個(gè)有叮限控授制器掛和一態(tài)個(gè)下吹推棧歲組成犁?；居鑸D靈裙機(jī)由逼一個(gè)吹具有集讀寫(xiě)頂頭的肺有限慚控制灘器和盈一條錄無(wú)限海帶組灘成。使用稼自動(dòng)墨機(jī)，褲可以杏形式帽化的胖描述刻現(xiàn)實(shí)憐世界樓中的列一些僅問(wèn)題少。3320葛23肥/5縮慧/1鴉8Co怎ll枯eg濤e肥of編C肺om均pu炒te結(jié)r壇Sc丹ie醒nc周e映&糊Te冬ch材no屆lo跨gy表,緣瑞B(yǎng)U抽PT3．谷形式幻玉語(yǔ)言雜與自濤動(dòng)機(jī)沃的關(guān)謊系形式速語(yǔ)言惠和自鋸動(dòng)機(jī)替是密比切相壞關(guān)的唐。形式刻語(yǔ)言慢―休―依字符磚串自動(dòng)根機(jī)型――扯字?jǐn)r符串圾的識(shí)膚別系癢統(tǒng)根據(jù)貝復(fù)雜僚程度永可將燃形式開(kāi)語(yǔ)言摩分類(lèi)憲，根編據(jù)自王動(dòng)機(jī)存的接游受能誕力、悉處理池能力筍的不岡同也臂將自臉動(dòng)機(jī)箭分類(lèi)小。二脖者之挺間具繪有較伐好的冊(cè)對(duì)應(yīng)濤關(guān)系喘。3420弓23奪/5兄/1膨8Co校ll尤eg示e瘡of廁C請(qǐng)om赴pu應(yīng)te弓r模Sc柄ie襪nc哄e(cuò)宋&辮Te傍ch估no珍lo短gy挽,駐BU貴PT3520軟23捕/5壓/1呢8Co授ll或eg拼e款of撫C慌om擱pu劍te除r史Sc武ie老nc座e鬼&趣Te輕ch普no些lo洞gy帖,飽BU憤PT語(yǔ)言頭與有致限自強(qiáng)動(dòng)機(jī)（Fi繪ni障te棍A找ut喂om萬(wàn)at津a）設(shè)去=兵0,1，L=朗ww中至代少有哀一個(gè)0，如00踢11洪,活10生,呢11妄01叫11L,而11效,窗,渡1珠11羅1L。下圖婆是一陽(yáng)個(gè)可靜接受變?cè)撜Z(yǔ)在言的維有限旗狀態(tài)樣自動(dòng)木機(jī)3620慶23似/5綠/1和8Co怖ll智eg垂e賞of耀C員om墊pu真te看r宴Sc渾ie悶nc腰e均&眼Te處ch頃no蘿lo狂gy辨,雨BU杏PT小結(jié)文法驅(qū)是定宗義語(yǔ)挽言的捆一個(gè)有數(shù)學(xué)詳模型霜，而住自動(dòng)釣機(jī)可線看作獨(dú)是語(yǔ)國(guó)言的寬識(shí)別姨系統(tǒng)肥。通過(guò)塞對(duì)一蠅些定償理的挑證明柴，說(shuō)疾明對(duì)慈于一丹個(gè)文歲法產(chǎn)紫生的遞語(yǔ)言端，可沫以構(gòu)鍛造相亞應(yīng)自限動(dòng)機(jī)窗接受物該語(yǔ)效言：楚一個(gè)萌自動(dòng)澇機(jī)接膏受的焰語(yǔ)言都，可幅以構(gòu)翁造對(duì)展應(yīng)的棉文法滅產(chǎn)生蹤蝶該語(yǔ)獅言。伐一定炊類(lèi)型背的自閉動(dòng)機(jī)尿和某井種類(lèi)茶型的君文法稍具有狗等價(jià)倒性。3720抵23筒/5團(tuán)/1鑒8Co哨ll飽eg曠e密of甜C懇om何pu斗te輕r負(fù)Sc看ie吩nc宜e唐&巖Te壯ch追no尸lo健gy懼,弦BU縣PT課程興內(nèi)容錄及要鳴求課程后內(nèi)容洗：弊書(shū)上旅二、河三、蝦四、楚五章圓。要求映：通哄過(guò)本占課學(xué)梨習(xí)，啞要求斬同學(xué)因們掌妙握形掌式化壟描述攏方法旱，建膛立起膽形式惱語(yǔ)言拉與自筒動(dòng)機(jī)桐的概咳念，辮并能滅在實(shí)薯際中羊加以貢應(yīng)用現(xiàn)。通過(guò)奇對(duì)定悅理的茶證明富，對(duì)襖同學(xué)診們進(jìn)林行思拍維訓(xùn)尾練，撿并掌派握一津定的蜘證明序方法見(jiàn)。3820比23至/5苗/1濾8Co集ll敵eg紹e者of吩C撫om截pu董te諷r辮Sc恒ie槳nc野e灑&烏Te隊(duì)ch近no矮lo搭gy終,煉BU耐PT證穴明傾技果術(shù)*基本游證明之方法歸納兆證明影技術(shù)*引自?xún)x清華拒大學(xué)撞計(jì)算孩機(jī)系篩軟件蘭技術(shù)拋研究案所王暈生原留老師捆課件3920虜23借/5技/1捧8Co界ll毅eg姐e衰of候C移om陪pu備te馳r群Sc陽(yáng)ie惕nc避e陰&虎Te始ch將no決lo滴gy鞭,憐BU民PT演糧繹晨證垂明概念一個(gè)證明（pr希oo類(lèi)f）是命角題的飯序列赴，其恭中的怖每一裳個(gè)命墻題或程者是鞭已知幻玉的命請(qǐng)題，換或者愁是由忍前面尿出現(xiàn)菊過(guò)的點(diǎn)命題協(xié)使用典邏輯養(yǎng)公理首和規(guī)顆則得鳳出.餡已教知的撕命題稱(chēng)集合宜稱(chēng)為假設(shè)（hy剖po菜th凝es嘉is）或前提（pr也em折is吊e），最后劉一個(gè)慶命愉題稱(chēng)頂為該鉤前提鞏的結(jié)論（co勤nc撥lu腔si鋪on）.4020驕23揉/5濾/1雞8Co的ll銹eg誤e羽of爹C談om讀pu浮te互r鴿Sc土ie崖nc券e撐&戴Te猶ch澇no活lo跌gy刷,瞞BU續(xù)PT“If飯–子T墓he哄n”命題證明葬方法把If部分典作為桂已知茅的命罵題，傾把Th承en部分柔作為哥結(jié)論鍛.舉例如果x+霜y=啟1，那么x2-y2=x殖-y.證明合:1x2-y2=冬(x殺+y翅)(x-宋y)//數(shù)學(xué)公理2媽(x+頃y)=集1//已知x2-y2=滴x-估y//由1、您2和算顏術(shù)性說(shuō)質(zhì)推蘋(píng)出4120襲23煮/5之/1汗8Co梨ll原eg詢(xún)e定of肢C之om鉆pu六te天r例Sc蛛ie嚴(yán)nc螞e銜&取Te既ch筆no襯lo會(huì)gy怪,繞BU糖PT“If泡-復(fù)A絹nd伐-澇O亂nl摧y喘-側(cè)If”命題欲證A滲if促a肝nd岸o棒nl巷y撲if潤(rùn)B，可分豪別證枯明如焦下兩碗個(gè)命閑題：1if動(dòng)A牲t見(jiàn)he屬n萬(wàn)B，2if墻B巡壽t離he綱n艷A.4220扁23低/5懇/1傾8Co突ll晃eg滑e栗of些C絕om劑pu晴te加r尼Sc宵ie福nc成e例&她Te薯ch油no誘lo纖gy鬼,別BU喂PT有關(guān)灑集合疫的命蓋題設(shè)R,須S為集桿合.欲證RS，可證密明如貼下命差題：if愛(ài)xR能th粱en艇xS欲證R=S，可分侄別證升明如獲下兩便個(gè)命催題：1if舅xR蘭th獲en莊xS2if黎xS船th螺en加xR4320曬23疲/5驕/1情8Co就ll壩eg烘e偷of煉C纏om宿pu儀te屈r忙Sc地ie多nc我e德&糧Te弄ch若no薦lo猴gy壓,匪BU某PT原命釣題的吼逆否舍命題有時(shí)何，證扒明原穴命題增的逆爬否(co店nt貫ra續(xù)po貸si祖ti但ve)命題采更加肅方便泊.欲證if幫A百t泰he錯(cuò)n葉B，可證貼明如淡下命定題：if滲no肆t作B廢th弄en反no麻t密A4420史23融/5花/1叔8Co耳ll暑eg狐e闊o(wú)f咳C常om棚pu姑te鞠r萌Sc輛ie簡(jiǎn)nc凳e墊&彎Te傻ch銜no憤lo我gy胳,蹦BU蛾P(guān)T反證牛法反證茅（pr節(jié)oo浴f谷by吳c斃on要tr強(qiáng)ad乎ic孟ti憲on）欲證ifH背th淘en帽C，可以賣(mài)把H和no決t頌C都作檢為已握知的勻命題明，把漫任何羨一個(gè)型矛盾繪(co予nt描ra炊di壤ct急io圾n)命題蘆作為閑新的杯結(jié)論午.4520恭23蜓/5穿/1磁8Co巷ll當(dāng)eg奪e察of哭C就om緞pu勉te停r釘Sc準(zhǔn)ie而nc鈴e錘&出Te施ch堡no你lo賢gy格,詞BU把PT舉例梁證明中或否花證舉例弟證明彼存在腿量化愁的命怎題如命勤題：驕存在弓整數(shù)a，滿(mǎn)足a2=腸2a.證明蟻:取a對(duì)=凍2.，滿(mǎn)足a2=翼2a.舉反掙例否顏定全逃稱(chēng)量浩化的欄命題如命銹題：逼所有覆整數(shù)a，都滿(mǎn)捏足a2=2a.否證棒:取a諸=剩1.，不滿(mǎn)伸足a2=防2a.4620孟23嚇/5脖/1陜8Co強(qiáng)ll何eg釘e踢of涉C底o(hù)m顛pu賤te繪r噴Sc少ie珍nc隔e世&棵Te霞ch沈no害lo悉gy給,譽(yù)BU砌PT集合速的歸詢(xún)納定趨義由3部分乘構(gòu)成哀：1基礎(chǔ)（ba桃si哄s）稠/喜/直接祖定義耀集合廉中的爸元素泄（至餓少1個(gè)）2歸納（in