This paper presents a new method of implementing dynamic streams of streams using token relabelling which reduces the complexity and drawbacks of the previously proposed method due to Gaudiot. Consider a sequence of tokens, Vi/sub [ui]/, which will appear in sequence on the stream-carrying arc. Two tokens Va/sub [ux]/ and Vb/sub [uy]/, will be considered belonging to the same stream if they have the same context: [ux]=[uy]. Elements within a stream are ordered according to the sequence in time that they appear on the arc. Let the highest level of streams has the context [uO], that of the surrounding block. Thus the highest level stream is the sequence of values Vi/sub [uO]/. Each element of this stream has as its value a unique context, namely, that of the stream that it represents. So the token Vi/sub [uO]/ identifies as a stream the sequence of tokens whose context is [Vi].
展开▼
机译:本文提出了一种使用令牌重新标记实现流动态流的新方法,该方法减少了由于Gaudiot而导致的先前提出的方法的复杂性和缺点。考虑一系列令牌,Vi / sub [ui] /,它们将按顺序出现在载流弧上。如果两个令牌Va / sub [ux] /和Vb / sub [uy] /,如果它们具有相同的上下文,则将被视为属于同一流:[ux] = [uy]。流中的元素根据它们在弧上出现的时间顺序进行排序。让最高级别的流具有上下文[uO],即周围块的上下文。因此,最高级别的流是值Vi / sub [uO] /的序列。此流的每个元素都有一个唯一的上下文作为其值,即它所表示的流的上下文。因此,令牌Vi / sub [uO] /将上下文为[Vi]的令牌序列标识为流。
展开▼