计算理论导引习题答案