递归可枚举集
- 与 递归可枚举集 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
bounded universal quantifier
有界全称量词
不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,
-
recursively enumerable set
递归可枚举集
递归定义变量 recursively defined variable | 递归可枚举集 recursively enumerable set | 递归可枚举语言 recursively-enumerable language
-
recursively enumerable set
递归可列举集
recursively enumerable set 递归可枚举集 | recursively-enumerable set 递归可列举集 | recyclable waste collector 废物回收商
-
Turing
图灵机
0型(PSG) 短语结构文法 递归可枚举语言 图灵机(Turing)1型(CSG) 上下文有关文法 上下文有关语言 线性界限自动机2型(CFG) 上下文无关文法 上下文无关语言 非确定下推自动机有限自动机作为一种识别装置,它能准确地识别正规集.
-
recursively axiomatizable
递归可公理化
递归结构||recursive structure | 递归可公理化||recursively axiomatizable | 递归可枚举集||recursively enumerable set
-
recursively enumerable set
递归可列举集
recursively enumerable set ==> 递归可枚举集 | recursively-enumerable set ==> 递归可列举集 | recyclable waste collector ==> 废物回收商
- 推荐网络解释
-
papaya, papaw：番木瓜tLu中国学习动力网
nutmeg 肉豆蔻tLu中国学习动力网 | papaya, papaw 番木瓜tLu中国学习动力网 | guava 番石榴tLu中国学习动力网
-
abstractive：有抽象能力的
abstractionist 抽象派艺术家 | abstractive 有抽象能力的 | abstractively 抽象地
-
aerobiosis,oxybiosis：有氧生活
"大气生物学","aerobiology" | "有氧生活","aerobiosis,oxybiosis" | "嗜氧菌,好氧菌,需氧菌","aerobium"