问题详情

在计算机理论的研究中，可以将无符号数分配给任何用特定语言编写的程序，这样的无符号数就称为哥德尔数。这种分配使得程序可以作为单一的数据项输入给其他程序。这样就可以将程序转化为歌德尔数并作为单一的数据项输入给其他程序。特别的，当一个程序以自身（转化为哥德尔数）为输入，该程序能够终止，那么这个程序就是一个自终止的程序，否则就不是。 下面程序能否自终止的 （填能或否）。 y=x; while x not 0 do; x=x–1; end; y=y–1; while y not 0 do; y=y–1; end;