计算理论期末 第3页