XSQ［15］i／每个位置步生成一个 基本的下推变换器（BPDT，Basic PushDown Transformer）。每个BPDT有三个状态：开始状 态、表示位置步中谓词计算为真的True状态和表示谓词还未计算的NA...
基于1个网页-相关网页
basic pushdown transformer
基本压下变压器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动