4.2 计算理论与软件