文件名称：Elements of Theory of Computation
文件大小：11.07MB
文件格式：PDF
更新时间：2022-02-19 15:25:07
计算理论
This book is an introuuction, on the undergraduate level, to the classical and contemporary theory of computation. The topics covered are, in a few words, the theory of automata and formal languages, computability by Turing machines and recursive functions, uncomputability, computational complexity, and math- ematicallogic. The treatment is mathematical but the viewpoint is that of com- puter science; thus the chapter on context-free languages includes a discussion of parsing, and the chapters on logic establish the soundness and completeness of resolution theorem-proving.