可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式，-图灵机。
Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model - the Turing machine.
传统的可计算性理论以图灵机为基础模型。
The traditional theory of computability is based on Turing machines.
传统的可计算性理论以图灵机为基础模型。
The traditional theory of computability is based on Turing machines.
应用推荐