您要查找的是不是：
- Chomsky normal form theorem Chomsky 范式定理
- Chomsky normal form theorem 范式定理
- The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem. Herbrand定理和范式定理是机器证明的理论基础.
- In this paper,we revise the algorithm of Chomsky normal forms of book written by Harry R Lewis and Christos H Papadimitrion,and complete the program for the algorithm. 本文指出了Harry R Lew-is;Christos H Papadimitrion的著作在定义Chomsky范式算法中的若干不妥之处;并进行了修改;且实现了Chomsky范式算法的程序.
- On the algorithm of chomsky normal form and its complementation 关于Chomsky范式的算法及其实现
- The Inverse Derivation for Generalized Chomsky Normal form Grammar 广义Chomsky范式文法的逆导出
- Chomsky normal form 乔姆斯基范式
- normal form theorem 正规形式定理
- Greibach normal form theorem 格里巴赫范式定理
- Modernity has its normal form and alienated form. 而现代性又有着它的合理形态与异化形态。
- The body as a Normal Form of Thinking? 身体:作为一种思维的范式?
- chomsky normal forms Chomsky范式
- A geometic proof of the Jordan normal form is given by the Euclidean algorithm and the fundamental theorem of algebra, and its works in the algebraic geometry are also given. 摘要文章利用辗转相除法和代数学基本定理得到了若当标准型的几何法证明，并指出了其在代数几何上的作用。
- In general, the volume and price of large-volume, or units run the normal form. 一般来说,价升量增、价跌量缩是大盘或个股运行的正常形态。
- The table is called the normal form or the strategic form of the game. 也称博弈的标准型或策略形式。
- This model is in a special form called disjunctive normal form (DNF). 这一模型表现为一种特殊的形式--正常分离形式（DNF）。
- Returns the normalized form of the specified quaternion. 返回指定四元数的正规化形式。
- The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem. 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
- With this disjunctive normal form, the Operation Scheme written in Z was divided into Sub-Operation Scheme. 然后根据析取范式将Z语言描述的操作模式划分为子操作模式;
- Very general systems of differential equations can be reduced to the normal form. 形式很普通的微分方程组可以化为正规的形式。
