科学技术名词为您提供多一可归约性,many one reducibility,多一可归约性的意思,many one reducibility的意思,多一可归约性的英文,many one reducibility的翻译,多一可归约性的翻译,多一可归约性是什么意思,多一可归约性什么意思,many one reducibility是什么意思,many one reducibility什么意思
多一可归约性 相关科技名词
- 递归论recursion theory
- 丘奇论题Church thesis
- 哥德尔配数法Go&4&del numbering
- 分层hierarchy
- 有限自动机finite automaton
- 可接受标号acceptable indexing
- 配对pairing
- 可解性solvability
- 正规算法normal algorithm
- 通用函数universal function
- 不可解性unsolvability
- λ演算λ-calculus;lambda-calculus
- λ可定义函数λ-definable function;lambda- -definable function
- 原始递归性primitive recursiveness
- 能行可计算性effective calculability
- 能行性effectiveness
- 原始递归式primitive recursion
- μ算子μ-operator;mu-operator
- 递归函数recursive function
- 递归集recursive set
- 递归可枚举集recursively enumerable set
- 递归性recursiveness
- 博雷尔分层Borel hierarchy
- 丢番图关系Diophantine relation
- 超算术hyperarithmetic
- 计算复杂性computational complexity
- 容许序数admissible ordinal
- 超跃变hyperjump
- 容许集admissible set
- 算术谓词arithmetical predicate
- 有限型finite type
- 算术分层arithmetical hierarchy
- 解析分层analytic hierarchy
- NP问题NP problem
- 图灵机Turing machine
- 确定性图灵机deterministic Turing machine
- 非确定性图灵机non-deterministic Turing machine
- 可计算性computability
- 停机问题halting problem
- 自动机automata
别人正在查