The pillars of computation theory: state, encoding, nondeterminism

This text is motivated by the belief that a deep understanding of, and operational control over, the few 'big' mathematical ideas that underlie computation theory is the best way to enable the typical student to assimilate the 'big' ideas of computation theory into her daily computational life.