《自动机理论、语言和计算导论》阅读笔记：p172-p224

《自动机理论、语言和计算导论》学习第 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)