可枚举集

bounded universal quantifier

有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

enumerable set

可枚举集,可数集

enumcleation hook 眼球摘出钩 | enumerable set 可枚举集,可数集 | enumerate 列挙,数える

recursively enumerable set

递归可枚举集

递归定义变量 recursively defined variable | 递归可枚举集 recursively enumerable set | 递归可枚举语言 recursively-enumerable language

recursively enumerable set

递归可列举集

recursively enumerable set 递归可枚举集 | recursively-enumerable set 递归可列举集 | recyclable waste collector 废物回收商

enumerable

可数的;可枚举的

入;通路;表值;矩阵的元素性 entry | 可数的;可枚举的 enumerable | 可数集 enumerable set

enumerator

枚举成员

此时枚举(enumeration)提供了一种方法:它不但定义了整数常量集,而且还把它们聚集成组(体现特定的关联性). 枚举的定义包括关键字enum,其后是一个可选的枚举名称,和一个花括号括起来、用逗号分开的枚举成员(enumerator)列表.

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 ==> 废物回收商

photoperiodic response：光周期响应

photoperiodic induction 光周期诱导 | photoperiodic response 光周期响应 | photoperiodism 光期性

Multi-Variate Statistical Analysis：多元统计剖析

311. 多项距阵 Multi-Nominal Matrix | 312. 多元统计剖析 Multi-Variate Statistical Analysis | 313. 发电厂 Power Plant