数学数理逻辑数学基础递归论
非确定性图灵机 non-deterministic Turing machine 非确定性图灵机的意思 non-deterministic Turing machine的意思
科学技术名词为您提供非确定性图灵机,non-deterministic Turing machine,非确定性图灵机的意思,non-deterministic Turing machine的意思,非确定性图灵机的英文,non-deterministic Turing machine的翻译,非确定性图灵机的翻译,非确定性图灵机是什么意思,非确定性图灵机什么意思,non-deterministic Turing machine是什么意思,non-deterministic Turing machine什么意思
非确定性图灵机 相关科技名词
- 递归论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