特别的，当一个程序以自身（转化为哥德尔数）为输入，该程序能够终止，那么这个程序就是一个自终止的程序，否则就不是