计算理论期末 第4页