＞数理逻辑与数学基础＞递归论＞释义 non-deterministic Turing machine 非确定型图灵机
理论计算机科学 形式语言与自动机 释文 non-deterministic Turing machine 非确定型图灵机
- cofinal extension
- cofinal family of mappings
- cofinality
- cofinality of limit ordinals
- cofinally similar sets
- cofinal number
- cofinal object
- cofinal ordinal
- cofinal ordinal numbers
- cofinal product-preserving functor
- cofinal set
- cofinal subset
- cofinal type
- cofine open covering
- cofinite
- cofinite filter
- cofinite module
- cofinite subset
- cofinite topology
- co-fire power generation of agriculture and forestry biomass
- coflow
- C of M
- coframe
- coframe field
- cofree module