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