22、检索的通用句法解析

检索的通用句法解析

1. 句法规则概述

句法规则的边界由模型电路图的边界决定，一端为输入，另一端为输出，可能的叠加操作处于边界上。规则相对简单，先合并原子，再按照自然产生的张量积（⊗）组合规则以各种方式组合结果，最后对不同状态进行叠加。

2. 示例分析

为了更好地理解上述规则，下面通过一系列示例进行说明：
|示例编号|输入多重集|步骤及结果|
| ---- | ---- | ---- |
|示例 1|ξ[A; G1], η[B; G1, G2]|S1 - S2：因 e - 特征无包含关系，无变化；S3：因 g(ξ) ⊂ g(η)，形成张量 (ξ ⊗ η)[G1, G2]；S4：最终张量复制到解释器，无需叠加；S5：假设终止。|
|示例 2|ξ[A; G1], η[B; G1, G2], ζ[A; G1]|S2：因 E(ξ) = E(ζ)，形成 (ξ ∧ ζ)[A; G1]，得到新多重集 η[B; G1, G2], (ξ ∧ ζ)[A; G1]；S3：因 g(ξ ∧ ζ) ⊂ g(η)，形成张量 ((ξ ∧ ζ) ⊗ η)[G1, G2]；S4 - S5 同示例 1。|
|示例 3|ξ[A; G1], η[B; G1, G2], ξ[A; G1]|S2：因 ξ ∧ ξ = 0，无变化；S3：优先处理 g(ξ) ⊂ g(η)，形成 (ξ ⊗ η)[G1, G2]，再形成 (ξ ⊗ (ξ ⊗ η))[G1, G2]；S4 - S5 无需。|
|示例 4|初始输入 Ξ|简单重复句法单元可在不使用电路递归部分的情况下实现。若递归部分损坏或缺失，单元可永久存储在句法存储中，由句法处理器无损检索，复制到解释器和输出端，可重复操作。