判断题
已知阿科曼函数（Ackermann function）是一种递归函数，但该函数却是不可以计算的问题
错误
判断题 P问题是可计算问题，NP问题也是可计算问题
判断题 任何程序设计语言编写的程序都可以转换成图灵机实现
判断题 存储有限是Turing机模型的基本特点
