[练习题]死锁定理用于检测系统所处的资源分配状态S是否为。