不可解的问题_day72

什么是不可解的问题

不可解的问题是，原则上不能用程序来解决问题。也可以说是“不包含在”程序可解决问题的集合中的问题，

停机问题

一个程序在输入一个数据，一直运行到出结果，但是有些程序并不会运行到结果，只会一直的运行下去

程序的行为比是以下两者之一

• 在有限时间内结束运行
• 在有限时间内不结束运行（永不结束运行）

必须下面的程序

while(1>0){
  
}

这样的程序就会无限循环下去，那么什么是停机问题了？

判断“某程序在给定的数据下，是否会在有限时间内结束运行”的问题