《自動機理論、語言和計算導論》閱讀筆記:p172-p224

codists發表於2024-04-14

《自動機理論、語言和計算導論》學習第 8 天,p172-p224總結,總計 53 頁。

一、技術總結

1.Context-Free Grammar(CFG)

2.parse tree

(1)定義

p183,But perhaps more importantly, the tree, known as a "parse tree", when used in a compiler, is the data structure of choice to represent the source program。

2.CFG的應用

(1)parser

(2)YACC parser-generator

二、英語總結

1.lone & alone

兩者都可以表示做adjective, adj. be the only one in a place or situation。

2.inference

(1)infer

in-(in) + ferre(to carry, to bear children)。vt. to form a guess because of that you have。

(2)inference

action of infering。c/u. a guess that you make based on the information that you have。

p175, Let us consider some of the inferences we can make using a grammar for expression in Fig.5.2.

3.adopt

之前一直記不住adopt的意思以及adopt和use的區別,對此進行了梳理,結果如下:

(1)adoption: ad-(to) + optare(to choose, 參考option)

(2)adopt: a back-formation of adoption。to accept or start to use sth new。

示例1:p177, Notice that we have adopted the policy of always replacing the leftmost variable in the string。

示例2:

We employed the Poldolsky method = We used the Podolsky method.

We adopted the Podolsky method = We were not using the Podolsky method before, but we started using it regularly.

4.institutionalize

(1)institute: in-(in) + statuere("establish, to cause to stand")。vt. to put into effect, caused to be used。

(2)nstitution: a large and import organization, such as a university or bank。

(3) institutionalize: vt. to to make into an institution。

三、其它

熟悉概念中。

四、參考資料

1. 程式設計

(1)Eric S.Roberts,《自動機理論、語言和計算導論(英文版.第3版)》:https://book.douban.com/subject/2274854/

2. 英語

(1)Etymology Dictionary:https://www.etymonline.com

(2) Cambridge Dictionary:https://dictionary.cambridge.org

歡迎搜尋及關注:程式設計人(a_codists)

相關文章