该资源为计算理论元素Elements of the Theory of Computation。