计算理论期末 第2页