P问题是可计算问题，NP问题也是可计算问题

任何程序设计语言编写的程序都可以转换成图灵机实现

判断题任何程序设计语言编写的程序都可以转换成图灵机实现

存储有限是Turing机模型的基本特点

判断题存储有限是Turing机模型的基本特点

只要是能想得出的问题，一定能用计算机解决

判断题只要是能想得出的问题，一定能用计算机解决