不动点语义的英文

• fixpoint semantic

• "不动点"英文翻译    fixed point
• "语义"英文翻译    semanteme; semantics
• "固定点语义" 英文翻译 :    fixpoint semantic
• "不动点" 英文翻译 :    [数学] fixed point 不动点定理 fixed point theorem; 不动点方法 fixed point method
• "不动点 (数学)" 英文翻译 :    fixed point (mathematics)
• "不动点定理" 英文翻译 :    fixed point theorems; fixpunktsatz fixed-point theorem
• "不动点法" 英文翻译 :    fixed point method
• "不动点方法" 英文翻译 :    fixed point method
• "不动点理论" 英文翻译 :    fixed-point theorem; fixpoint theory
• "不动点问题" 英文翻译 :    problem of fixed points
• "不动点指数" 英文翻译 :    fixed point index
• "单纯不动点" 英文翻译 :    simple fixed point
• "吸引不动点" 英文翻译 :    fixed point
• "正则不动点" 英文翻译 :    regular fixed point
• "最大不动点" 英文翻译 :    greatest fixpoint
• "最小不动点" 英文翻译 :    least fixed point; least fixpoint
• "kleene不动点定理" 英文翻译 :    kleene fixpoint theorem
• "不动点归纳法" 英文翻译 :    fixpoint induction method
• "不动点组合子" 英文翻译 :    fixed point combinator
• "排列的不动点" 英文翻译 :    fixed point of permutation
• "映射的不动点" 英文翻译 :    fixed point of mapping
• "巴拿赫不动点定理" 英文翻译 :    banachscher fixpunktsatz banach fixed point theorem
• "程序不动点理论" 英文翻译 :    fixpoint theory of program
• "泛函的最小不动点" 英文翻译 :    least fixpoint of functionals
• "邵德尔不动点定理" 英文翻译 :    schauder fixed-point theorem

• 3 . schemas for semistructured data differ , however , from those for relational or object - oriented data . therefore , typing system and schema formalisms for xml - based semistructured data are extensively studied , and the algorithms both for computing type classification with maximal fixpoints semantics and maximal simulation are proposed , respectively
  三、对半结构数据的类型及模式的描述形式进行了研究，并分别给出了使用最大不动点语义计算半结构数据类型划分的算法思想和最大仿真( simulation )计算方法的思想。