离散层次与可原形向量化

文献[1]指出在沿着串行运算的语义追踪AO型循环的过程中,元素的出现构成一个队列。任给一个AO型循环,定理1证明了其元素的出现队列是唯一确定的。定理2证明了该队列在子女关系下具有层次结构。一般而言,时序层次的初始状态是杂乱无章的,子女链和再生链把所有的元素出现交织成为一个整体,通常需要施行复杂的等价变换达到标准形。本文旨在探求一种结构松散的时序层次及其十分简便的向量化算法,并把影响可向量化性质的所有参数都最大限度地推广到识别阶段未必可计值的情形。