《自動機理論、語言和計算導論》學習第1天，p1-p4，總計4頁。這只是個人的學習記錄，因為很多東西不懂，難免存在理解錯誤的地方。
一、技術總結
1.有限自動機(finite automata)示例
1.software for checking digital circuits。
2.lexical analyzer of compiler。
3.software for scanning large bodies of text。
4.software for verifying systems.
二、英語總結
1.liguist
lingua(language, tongue) + -ist，a master of languages。
2.intractable
(1)in- + tractable
(2)tractable: tractare"to handle, manage"(see treat)
(3)ntractable: adj. every difficult or impossible to control。
3.bear on sth
be connected to sth. eg: p1, All of these theoretical developments bear directly on what computer scientist do today。
4.approximation
(1)approximate: ad"to" + proximare"come near", adj. not complete accurate but close.
(2)approximation: sth that is similar to another thing but not exactly the same.
5.pervade
per-(through) + vadere(to go), vt. to spread through all parts of sth.
三、其它
再給自己開一個坑，開始學習《自動機理論、語言和計算導論》。
為什麼要看這本書？
因為自己想在程式設計上有進一步的提升，所以尋求透過加強計算機理論學習來提升自己。《自動機理論、語言和計算導論》是一本經典的書，所以選擇看這本書。
學習方式
這次學習以英文版為教材，對於不懂的單詞，查詢Etymology Dictionary以及 Cambridge Dictionary，不翻譯中文。每日學完進行總結覆盤。每日學習一小時。
四、參考資料
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)