基于稀疏矩阵存储的状态表压缩算法
姚远 刘鹏 王辉 笱程成
Compression algorithm of state transition table based on sparse matrix
计算机应用 . 2010, (8): 2157 -2160 .