6、空间图语法与多媒体自适应呈现技术解析

空间图语法与多媒体自适应呈现技术解析

1. 空间图语法基础

1.1 序列索引计算

序列索引（SequenceIndex）用于计算模式序列中视觉类的位置。由于一个视觉类可能占据多个位置，所以使用集合来表示类的索引。例如，在特定示例中，“Jf”类占据第一个位置，即 Index(Jf) = {1} ；“Statement”类出现两次， Index(Statement) = {3, 2} ；“Endij”类的索引为 Index(Endij) = {4} 。

1.2 排序示例

以图的匹配执行为例，在找到可约式（redex）或检查完所有对象之前，宿主序列中的每个对象都需要被检查一次。初始时，所有集合为空。在第 1 次迭代中，宿主序列的第一个对象可映射到模式序列的第一个对象，得到仅包含一个对象的子序列；第 2 次迭代中，包含宿主序列第二个对象且映射到模式序列第一个对象的子序列被生成并插入到集合 1 中。

下面是迭代过程的简单说明：
| 迭代次数 | 集合 1 | 集合 2 | 集合 3 |
| ---- | ---- | ---- | ---- |
| 1 | 包含一个对象的子序列 | 空 | 空 |
| 2 | 包含第二个对象映射的子序列 | 空 | 空 |
| 3 | 扩展后的子序列 | [23]（符合条件插入） | 空 |
| 4 | [14]（排除）、[24] | | [234]（符合条件插入） |
| 5 | | [15] | |
| 6 | | | 找到符合结构和空间