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