第三章

形式化的方法】是用一整套帶有嚴(yán)格規(guī)定的符號(hào)體系來(lái)描述問(wèn)題的方法敢艰。

[重點(diǎn)介紹如何采用形式化的方法描述程序設(shè)計(jì)語(yǔ)言]


形式語(yǔ)言】序列的集合稱為形式語(yǔ)言。

[每個(gè)形式語(yǔ)言都是某個(gè)字母表上按某種規(guī)則構(gòu)成的所有符號(hào)串的集合]

[任何一個(gè)字母表上符號(hào)串的集合均可定義為一個(gè)形式語(yǔ)言]

[形式語(yǔ)言是指不考慮語(yǔ)言的具體意義俊抵,即不考慮語(yǔ)義]

[對(duì)形式語(yǔ)言的描述有兩種方法谁不,一種方法是當(dāng)語(yǔ)言為有窮集合時(shí),用枚舉法來(lái)表示語(yǔ)言]

[當(dāng)語(yǔ)言為無(wú)窮集合時(shí)徽诲,就要用語(yǔ)法來(lái)描述語(yǔ)言了刹帕。 ]

例如A={ a, b, c }

L1={ a, b, c }

L2={ a, aa, ab, ac }

L3={ c, cc }//有窮集合


L={ 0, 1 } { 0, 1 }*

= { 0, 1, 00, 10, 11, 01, 000, 100, …} //無(wú)窮集合


符號(hào)“->”讀作“生成”或“由…組成

產(chǎn)生式】是一個(gè)符號(hào)與一個(gè)符號(hào)串的有序?qū)Γˋ,β),寫(xiě)作:A→β

[ 產(chǎn)生式的作用是告訴我們如何用產(chǎn)生式中的符號(hào)串生成語(yǔ)言中的序列]

例如(1)串110是從A→A0 → A10 → 110產(chǎn)生的【倒推生成】

[ 產(chǎn)生式中出現(xiàn)的符號(hào)分為兩類谎替,一類是終結(jié)符號(hào)偷溺,另一類是非終結(jié)符號(hào)。]

[ 非終結(jié)符號(hào)是出現(xiàn)在規(guī)則左部能派生出符號(hào)或符號(hào)串的那些符號(hào)钱贯,即每個(gè)非終結(jié)符號(hào)表示一定符號(hào)串的集合挫掏,用大寫(xiě)字母表示或用尖括號(hào)把非終結(jié)符號(hào)括起來(lái)。例如秩命,上例中的A尉共。]


2【語(yǔ)法】產(chǎn)生式的非空有窮集合褒傅,通常表示成四元組? ??

G={VN,VT, P, S }

VN是產(chǎn)生式中非終結(jié)符號(hào)的集合。

VT是產(chǎn)生式中終結(jié)符號(hào)的集合袄友。

P 是產(chǎn)生式的集合殿托。

A→a1 | a2 | … | an 【縮寫(xiě)形式

其中每個(gè)ai有時(shí)也稱為是A的一個(gè)候選式

注:語(yǔ)法是不唯一的


表達(dá)式E】若 E1和 E2是算術(shù)表達(dá)式, 則E1+E2剧蚣、E1*E2支竹、(E1) 也是算術(shù)表達(dá)式


語(yǔ)言的形式推導(dǎo)】推導(dǎo)用“=>”

1、直接推導(dǎo):推導(dǎo)的依據(jù)是產(chǎn)生式券敌。

S=>0S1——【句型】——含終結(jié)符[句型包括句子]

S=>0011——【句子】——不含終結(jié)符

約定:

第一條規(guī)則的左部是開(kāi)始符號(hào)唾戚。

對(duì)語(yǔ)法G不用四元式顯示表示,僅只將產(chǎn)生式寫(xiě)出待诅。

分為【最左最右推導(dǎo)】最右比最左簡(jiǎn)單


歸約


遞歸產(chǎn)生式

如果語(yǔ)法中有產(chǎn)生式叹坦,A→A …? ? 稱為左遞歸

如果語(yǔ)法中有產(chǎn)生式卑雁, A→ … A? 稱為右遞歸募书。

如果語(yǔ)法中有產(chǎn)生式,A→ …A… 稱為遞歸测蹲。

[在語(yǔ)法中使用遞歸莹捡,使得我們能用有限的產(chǎn)生式去定義無(wú)窮集合的語(yǔ)言。]


推導(dǎo)和語(yǔ)法樹(shù)

對(duì)句型的推導(dǎo)過(guò)程給出一種圖形表示, 這種表示稱為語(yǔ)法樹(shù)扣甲,也稱推導(dǎo)樹(shù)篮赢。

[作用:語(yǔ)法樹(shù)是用來(lái)描述句型(句子)語(yǔ)法結(jié)構(gòu)的一種輔助工具。]

[一棵語(yǔ)法樹(shù)表示了一個(gè)句型的種種可能的(但未必是所有的)不同推導(dǎo)過(guò)程, 包括最左(最右)推導(dǎo)]


如果一個(gè)語(yǔ)法存在某個(gè)句子對(duì)應(yīng)兩棵不同的語(yǔ)法樹(shù)琉挖,則說(shuō)這個(gè)語(yǔ)法是【二義性】的

若一個(gè)語(yǔ)法中存在某個(gè)句子启泣,它有兩個(gè)不同的最左 (最右) 推導(dǎo),則這個(gè)語(yǔ)法是二義性的示辈。


語(yǔ)法二義性的消除

1. 不改變語(yǔ)法中原有的語(yǔ)法產(chǎn)生式, 僅加進(jìn)一些非形式的語(yǔ)法規(guī)定

2. 構(gòu)造一個(gè)等價(jià)的無(wú)二義性語(yǔ)法寥茫。即把排除二義性的產(chǎn)生式合并到原有語(yǔ)法中,改寫(xiě)原有的語(yǔ)法。

將運(yùn)算符的優(yōu)先順序和結(jié)合規(guī)則:*優(yōu)先于+; +矾麻、*左結(jié)合加到原有語(yǔ)法中, 可構(gòu)造出無(wú)二義性語(yǔ)法如纱耻。【難點(diǎn)】


短語(yǔ)】總是句型的某個(gè)子串险耀,它對(duì)應(yīng)子樹(shù)未端結(jié)點(diǎn)形成的符號(hào)串弄喘。

直接短語(yǔ)】是某條規(guī)則右部,它對(duì)應(yīng)簡(jiǎn)單子樹(shù)未端結(jié)點(diǎn)形成的符號(hào)串甩牺。

最左邊的直接短語(yǔ)是【句柄】蘑志。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子卖漫,更是在濱河造成了極大的恐慌,老刑警劉巖赠群,帶你破解...
    沈念sama閱讀 223,002評(píng)論 6 519
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件羊始,死亡現(xiàn)場(chǎng)離奇詭異,居然都是意外死亡查描,警方通過(guò)查閱死者的電腦和手機(jī)突委,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 95,357評(píng)論 3 400
  • 文/潘曉璐 我一進(jìn)店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái)冬三,“玉大人匀油,你說(shuō)我怎么就攤上這事」窗剩” “怎么了敌蚜?”我有些...
    開(kāi)封第一講書(shū)人閱讀 169,787評(píng)論 0 365
  • 文/不壞的土叔 我叫張陵,是天一觀的道長(zhǎng)窝爪。 經(jīng)常有香客問(wèn)我弛车,道長(zhǎng),這世上最難降的妖魔是什么蒲每? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 60,237評(píng)論 1 300
  • 正文 為了忘掉前任纷跛,我火速辦了婚禮,結(jié)果婚禮上邀杏,老公的妹妹穿的比我還像新娘贫奠。我一直安慰自己,他們只是感情好望蜡,可當(dāng)我...
    茶點(diǎn)故事閱讀 69,237評(píng)論 6 398
  • 文/花漫 我一把揭開(kāi)白布唤崭。 她就那樣靜靜地躺著,像睡著了一般泣特。 火紅的嫁衣襯著肌膚如雪浩姥。 梳的紋絲不亂的頭發(fā)上,一...
    開(kāi)封第一講書(shū)人閱讀 52,821評(píng)論 1 314
  • 那天状您,我揣著相機(jī)與錄音勒叠,去河邊找鬼。 笑死膏孟,一個(gè)胖子當(dāng)著我的面吹牛眯分,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播柒桑,決...
    沈念sama閱讀 41,236評(píng)論 3 424
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼弊决,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼!你這毒婦竟也來(lái)了?” 一聲冷哼從身側(cè)響起飘诗,我...
    開(kāi)封第一講書(shū)人閱讀 40,196評(píng)論 0 277
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤与倡,失蹤者是張志新(化名)和其女友劉穎,沒(méi)想到半個(gè)月后昆稿,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體纺座,經(jīng)...
    沈念sama閱讀 46,716評(píng)論 1 320
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 38,794評(píng)論 3 343
  • 正文 我和宋清朗相戀三年溉潭,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了净响。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點(diǎn)故事閱讀 40,928評(píng)論 1 353
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡喳瓣,死狀恐怖馋贤,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情畏陕,我是刑警寧澤配乓,帶...
    沈念sama閱讀 36,583評(píng)論 5 351
  • 正文 年R本政府宣布,位于F島的核電站惠毁,受9級(jí)特大地震影響扰付,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜仁讨,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 42,264評(píng)論 3 336
  • 文/蒙蒙 一羽莺、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧洞豁,春花似錦盐固、人聲如沸。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 32,755評(píng)論 0 25
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)。三九已至曙咽,卻和暖如春蛔趴,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背例朱。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 33,869評(píng)論 1 274
  • 我被黑心中介騙來(lái)泰國(guó)打工孝情, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人洒嗤。 一個(gè)月前我還...
    沈念sama閱讀 49,378評(píng)論 3 379
  • 正文 我出身青樓箫荡,卻偏偏與公主長(zhǎng)得像,于是被迫代替她去往敵國(guó)和親渔隶。 傳聞我的和親對(duì)象是個(gè)殘疾皇子羔挡,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,937評(píng)論 2 361

推薦閱讀更多精彩內(nèi)容