布尔矩阵计算线性优先函数法

提供修改版Bell布尔矩阵法计算线性优先函数与免冲突优先关系矩阵算法不仅检测优先函数不存在时,而且还说明为何不存在优先函数,以便在可能的情况下可采取纠正行动。设定优先函数的必要和充分条件Boulean矩阵证明优先函数的存在与免冲突语法类相关

View文章ACM数字库