《自动机理论、语言和计算导论》学习第 10 天，p261-p314 总结，总计 48 页。

一、技术总结

1.generating & reachable

2.Chomsky Normal Form(CNF)

乔姆斯基范式。

3.pumping lemma

泵作用引理。引理：引理是数学中为了取得某个更好的结论而作为步骤的已证明命题，其意义并不在于自身已完成证明，而在于其为了达成最终目的而做出贡献。

4.上下文无关语言的性质

(1)closure property

二、英语总结

1.sort

c. a group of things that are of the same type。

p261, Next, we consider the sorts of properties that we studied in Chapter 4 for the regular language: closure properties and decision properties。

2.preliminary

pre(before) + limen(threshold, 参考 limit)。adj. preceeding sth more important。

p261, To get there, we need to make number of preliminary simplifications, which are themselves useful in various ways。

3.sentential

adj. pertaining to sentence(参考 sentence)。

4.lemma

c. a subsidiary or intermediate theorem in an argument or proof(引理)。

5.parallel 用法总结

(1)adj. be similar to sth。

p287, Many of the closure properties will parallel the theorems we had for regular languages in Section 4.2. However, there are some difference。

三、其它

无。

四、参考资料

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)