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