向量化性态的比较判别法

以数组元素为结点的向量化下标追踪法,配备有诸如对调,跳跃,漂移,剔除,填补等操作数组元素的手段。较之操作对象为语句或数组项的各种方法,这不仅大幅度增强识别能力,而且为大面积运用现代数学工具创造条件。本文据此证明的关于向量化性态的比较规则,使得大量循环仅需经过简单的数学处理即可辨明其向量化性态,从而废弃以语句为结点,或以下标变量为结点,或以致组元素为结点构造语句图,或数组项图,或时序层次的冗长计算。这种向量方式的并行性判别方法,很容易拓广于其他的并行方式。