well-formed set

well-formed set 基本解释

【计】良基集，整序集

计算机

重点词汇

• setn. 日落, 同伙, 组合, 集合, 装置 vt. 放, 安置, 放置, 设定, 使凝结, 点燃, 确定, 点缀, 使就位, 树立, 分配, 调整 vi. 日落, 凝固, 定型, 搁住, 结果, 适合 a. 决心的, 规定的, 故意的, 持久的, 固定的, 老套的, 准备好的 [计] 设置; DOS内部命令:改变或显示分配给环境变量的值
• welln. 井, 泉水, 源泉, 好 v. 涌出 a. 健康的, 良好的, 适宜的, 恰当的 adv. 很好地, 适当地, 好意地, 很, 完全 interj. 好啦
• formeda. 成形的, 成形

well-formed set 双语例句

1. 1、 A logical form is a well-formed formula, a structured set of constituents, which undergoes formal logical operations determined by its structure.
   一个逻辑形式就是一个完整的公式、一套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。
2. 2、 A well-formed derivation set is a formal denotation of a partial SLD-tree.
   语义域是collection的构成的完备格，collection是将目标映射到合式推导集合的部分函数，可以看作是一个目标在推导过程中得到的部分SLD树。
3. 3、 The basic concept in SLD derivation semantics is the well-formed derivation set.
   SLD推导语义的基本概念是合式推导集合，合式推导集合是部分SLD树的形式化表示。