|
|||
|
1. 终端设备用户接口原文用户界面终止并且停留的DOS公共事业的居民TSR A类型，一旦装载，在记忆停留，并且可以通过按钥匙的某一组合恢复活动。 终止分析A试图确定的程序分析一个特定表示的评估是否确定地将终止。 常数的评估一定终止，象一个non-recursive作用的评估被运用于或者没有被评估或可能他们自己被证明终止的论据。 一个递归函数可以显示终止，如果它可以显示递归调用的论据一定到达递归将停止的一些价值。 终止分析不可能保证给正确应答，因为这与解决它给的停机问题是等效的，因此答复是或者“确定地终止”或“不要知道”。 |
ABCDEFGHIJKLMNOPQRSTUVWXYZ |
|
|
|