Theory of Computation offers a rigorous mathematical framework that underpins our understanding of what can be computed and how efficiently these computations may be performed. It encompasses ...

Automata Theory, Languages, and Computation , Hopcroft, Motwani, and Ullman (3rd edition). An introduction to Computational Learning Theory by Kearns and Vazirani Online notes and readings distributed ...

Wolpert says that one of the primary motivations for a general thermodynamic theory of computation is to find new ways to reduce the energy consumption of real-world machines.