计算机方法论试题.doc

一、填空题（每空1分，共15分）1. 计算学科的根本问题是 什么能被（有效地）自动进行 。2. 学科知识体由 分枝领域 、 知识单元 、 知识点 3个层次构成。3. 在计算学科的抽象、理论、以及设计3个学科形态中，图灵机属于 理论 形态的内容。4. “针对任意给定的图灵机和输入，寻找一个一般的算法（或图灵机），用于判定给定的图灵机在接收了初始输入后，能否到达终止状态”，该问题称为_停机_问题。5. 算法具有 有穷性 、确定性、输入和 输出 等重要特性。6. “对于任一给定的图，能否找到一条路径，使得从图中某个点出发后不重复地走过所有的结点，最后又回到出发点”，该问题在图论中称为 哈密尔顿回路问题 。7. 据Brooks hear给出的机器指令集，指令9123的功能是 将寄存器2与3中的数进行异或运算，将结