ý kiến bạn đọc

Thinking about Gödel and Turing : essays on complexity, 1970-2007

Tác giả: Gregory J. Chaitin

Contains 23 non-technical papers. This book includes essays which summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Godel and Turing on the limits of mathematical methods, both in ...

Introduction to automata theory, languages and computation

Tác giả: John E. Hopcroft, Jeffrey D. Ullman

This book presents automata theory, formal languages, and computational complexity as a coherent theory. It includes end-of-chapter questions, bibliographies, and exercises. Problems of highest and intermediate difficulty are marked respectively with double or single stars.