• 正體: 可計算性理論[電子計算機]