| John E.Hopcroft 于斯坦福大学获得博士学位，现为康奈尔大学计算机科学系教授。1994年到2001年，任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。 |
| 1 automata: the methods and the madness 1.1 why study automata theory? 1.1.1 introduction to finite automata 1.1.2 structural representations 1.1.3 automata and complexity 1.2 introduction to formal proof 1.2.1 deductive proofs 1.2.2 reduction to definitions 1.2.3 other theorem forms 1.2.4 theorems that appear not to be if-then statements 1.3 additional forms of proof 1.3.1 proving equivalences about sets 1.3.2 the contrapositive 1.3.3 proof by contradiction 1.3.4 counterexamples |
内容加载中，请稍后...
商品评论（0条）