The Pillars of Computation Theory: State, Encoding,