Elements of Computation Theory (Texts in Computer Science)