In general, questions of what can be computed by various machines are investigated in computability theory.

• 一般而言，计算性理论研究的问题是：什么是能够被各种机器计算的问题。