一类约化梯阵的RaRb表示

本文首先阐明线性RaRb变换之间的关系，并提出了算法MRab，再引用标准线性RaRb变换，证明了RaRb变换与算法MRab求解方程组的能力是等价的．然后讨论MRab与算法ALT之间的关系，进而说明受ALT攻击的那些有限自动机包