Question

在一个序列中容纳另外一个序列可以按如下方式表示：

sequence_expr ::=         // 引用自附录A.2.10
    ...
  | sequence_expr within sequence_expr

语法17-11 — within结构的语法（摘录自附录A）

seq1 within seq2结构是下述语句的缩写：

(1[*0:$] ##1 seq1 ##1 1[*0:$]) intersect seq2

对于复合序列seq1 within seq2，只要seq2在一个有限的连续时钟标记间隔上匹配并且seq1在这个间隔的某些子间隔上匹配，那么这个复合序列就在这段间隔上匹配。也就是说，seq1和seq2的匹配必须满足下列条件：

• seq1匹配的起始点必须不早于seq2匹配的起始点。
• seq1匹配的结束点必须不晚于seq2匹配的结束点。

例如，对于下面的序列：

!trdy[*7] within (($fell irdy) ##1 !irdy[*8])

在图17-12中所显示的路径中，上面的例子在时钟标记3到时钟标记11间匹配。