《自動機理論、語言和計算導論》學習第 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)