1、形式語言概述語法推理語法分析機器人理論，3.5形式語言和機器人，3.5.1形式語言概述1，基本概念1，字母：與研究的問題相關(guān)的符號集。例如：V1=A、B、C、D、V2=a、B、C、d 2、文章(鏈):由字母表中的符號組成的有限長度的符號字符串。3、文章(鏈)長度：包含的符號數(shù)。范例： |a3b3c3|=9 4，語言：由字母符號組成的文章集合(以L表示)。例如，字母V=a，b L1=ab，aab，abab有限語言L2=anbm|n，m=0，1，2。無限語言5，語法：在一種語言中，構(gòu)成句子所需的規(guī)則L(G)是指語法G構(gòu)成的語言。6，V*:由字母V的符號組成的所有句子的集合(包括空文章)。示例：V*

2、，01，001 7，V:不包含空句子的文章集，即VV*() 8，VT:終結(jié)器，不再可分割的最簡單基元集合(小寫)。VT=a、b、c 9、VN:非終結(jié)器、基本體組成的子模式和句子的集合。用大寫字母表示。VN=A，B，C VT，VN關(guān)系：VTVN=(空集)VT VN=V(所有字母)10，create(重寫規(guī)則)P:終結(jié)器和非終結(jié)器之間存在的關(guān)系。例如，VN、VN、VT。11，語法的數(shù)學(xué)定義：由四個參數(shù)組成的四元樣式。G=VN、VT、P、S、2。舊結(jié)構(gòu)語法1。0英寸語法(無限制)設(shè)置語法G=(VN，vt，P，S) VN:非終結(jié)器，VT:以大寫字母顯示終結(jié)器V*空格)示例：0英寸語法g=(VN，VT，

3、P，P1英寸語法(上下文相關(guān)語法)設(shè)置語法G=(VN，VT，P，S)創(chuàng)建p: 1a 212其中AVN，V，1，2V* |1A2|12|或S) VN=s.默認語言L(G)牙齒其他三角形x=ABC x=a2b2c2，a，b，c，可以描述其他三角形x=ABC x=a2 B2C 2，a，b，c由上下文無關(guān)語法組成的語言稱為上下文無關(guān)語言。例如，語法G=(VN，VT，P，s) VN=s，b，c vt=a S) VN=s，t，f vt=a，*，(，)最右側(cè)的導(dǎo)數(shù)：每個替換從最右側(cè)的非終結(jié)器開始。例如，生成ss t s f s a t a f Aa a a，3.3英寸語法(有限狀態(tài)語法)語法G=(VN，VT

4、，P，S)P:aab或Aa，例如，語法g=(s，a，0，1，p，s)p 3360 s0a a0a a1 s 00 a 000 a 000 a 0001 l(g)=0 n1 | n=1，2.示例1)p 3360 S0B bb1s b0vn=(S，B)，4個茄子語法的關(guān)系3360包含關(guān)系。限制不嚴(yán)格的語法必須包含限制嚴(yán)格的語法。3英寸、2英寸、1英寸、0英寸、3。圖像描述語言(PDL) 1970年，Show提出，圖像描述語言任何圖像都可以使用頭和尾表示定義了4個二進制連接運算符1.a b 2.a x b 3.a b 4.a，其中T，T，A與B頭相關(guān)聯(lián)，A頭與B，A與B，A與B，A與B，A相關(guān)聯(lián)s)

5、 vt=，()，-，x，*，VN=s，a，b，c p3360sa sa (d (a (d) * (b) 如果生成表達式中存在一個或多個生成表達式，則AiiAii牙齒語法G=(VN，VT，P，S)是循環(huán)語法或不確定的，生成的語言L(Gt)是無限的。2.語法G不循環(huán)的話，必須確定，L(G)牙齒有限。樣本集，推斷算法，Gt，St=(x1，x2 XT)，導(dǎo)師，1p 3360 s0a 0a B0 bs 1 ba 1 ba.Z8估計語法為GC=(VN，vt，PC，s) VN=s，Z1，z2，z8，vt=0，1 pl3360 s0z1，缺點是非終止符太多，生成表達式也太多。、s、Z1、z2、z3、Z4、z5

6、、z6、z7.Br SBj，ZiBj滿足這些子集：BjBk=，JK Bj=VN定義導(dǎo)出語法GD=(VND，VT，PD，Bs)是規(guī)范語法Gc生成的語法，導(dǎo)出規(guī)則如下：如果vs Bs=S PD定義：a.zz位于Pc上，則PD中的bibj、zabi、zbj B. za位于Pc上，則PD中的bia、Zabi、r、j=s，示例Z8到VNC拆分為vnd=2種：b5、B3、B2、B1、t、0、0、1、1、1、1、1、1可以推斷m類的語法GM。解析標(biāo)識文章X，如果X屬于語法Gi構(gòu)成的語言L(Gi)，則為Xi類。方塊圖如下所示：xlg1、xlg2、g2、xlgm、牙齒硬件模型是標(biāo)識符調(diào)用機器人。徐璐其他機器人可以徐璐識別其他語法形成的語言。類型0語法：圖靈機識別上下文相關(guān)類型：線性約束自動機上下文相關(guān)類型：推式自動機有限狀態(tài)類型：有限狀態(tài)自動機、標(biāo)識符、XLG、G、1、有限狀態(tài)自動機由有限狀態(tài)語法組成的語言1、默認定義：5元m系統(tǒng)m F)，其中：輸入符號的，0，1，1，0，輸入標(biāo)頭，有限狀態(tài)控制器Q，q0 Q1.f，3，自動機識別輸入字符串的方式l (m)=x | Q2，q3 0，1f=Q0 (q0，0)=Q2，(Q0