《自动机理论、语言和计算导论》学习第 11 天，p215-p351总结，总计 37 页。
一、技术总结
1.constrained problem
2.Fermat's lats theorem
Fermat's Last Theorem states that no three positive integers a, b and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2。
二、英语总结
1.tantamount
(1)tant: as much, the same(from tantus, from tam(so),参考tandem)。
(2)amount
(3)tantamount: adj. being the same as。语法结构： be tantamount to sth。
p315, This question is tantamount to the question of what computers can do, since recognizing the strings in a language is a formal way of expressing any problem, and solving a problem is a reasonable surrogate for what it is that computers do.
2.surrogate
(1)su-：the assimilated form of sub-(in the place of)。
(2)sogare: to ask, to propose。
(3)surrogate: c. sth that is used to replace sth else。
3.venerable
(1)venus: to worship, to revere
(2)venerable: adj. deserving respect。
4.ultimate
(1)*ulter: means "beyond", from the suffixed form of *al-(beyond)
(2) ultimus: superlative form of *alter。means "farthest, lats"
(3)ultimate: adj. most extreme(at the fathest point,极端) or important。
三、其它
无。
四、参考资料
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)
