recursive unsolvability

【计】 递归不可解性
在线英汉词典
相关词语