摘要
探针搜索确定晦暗域,晦暗效应(OE)对局部性的本质提出进一步的问题。加标探测算法定位于特征标记的语段以确立语义接口解释。特征探针和语段边界(PE)产生晦暗效应、限定局部域。基于合并和探测域论证晦暗效应的本质及接口原则和制约条件,聚焦探测算法解释外移合并的允准机制和晦暗效应的局部性关联。合并一致性和接口证据支持了(次)外移的特征分析方法。晦暗效应和外移及接口条件须语段加标指示循环范畴。探测算法和A’-依存探针-目标一致性表明,外移域条件(CED)效应及次外移效应推导自合并、语段推导与特征一致性,解释条件取决于特征探测核查。探测算法统摄晦暗效应和标准冻结效应。选择性晦暗效应则触发了衍推和高度-局部性连接,即晦暗/透明度与移位类型的对称匹配度。在接口条件((1))下,无歧义语链原则与冻结原则、最大值投射原则都属于接口解释原则。探测合并生成加标结构。研究证实限制外移的晦暗效应源于探测算法以及解释条件;晦暗效应和外移运算须在探测算法下结合局部性和接口解释条件的互动获得统一诠释。
- 单位