• 正體: 半可決策性的[電子計算機]