CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures
Lewis, H. and Papadimitriou, C.
Elements of the Theory of Computation
Prentice Hall, New Jersey
Provides an introduction to the classical and contemporary theory of computation and deep insights into the fundamental paradigms of computer science. Covers sets, relations, and languages, finite automata & Turing machines. Revised new edition. DLC: Machine theory.