911chaxun查询科学技术名词计算机科学理论
计算机科学技术计算机科学理论
广义序列机 generalized sequential machine 广义序列机的意思 generalized sequential machine的意思 广义序列机的英文
广义序列机
规范用词广义序列机
英文对照generalized sequential machine
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词(第二版)》 科学出版社
公布时间2002年
科学技术名词为您提供广义序列机,generalized sequential machine,广义序列机的意思,generalized sequential machine的意思,广义序列机的英文,generalized sequential machine的翻译,广义序列机的翻译,广义序列机是什么意思,广义序列机什么意思,generalized sequential machine是什么意思,generalized sequential machine什么意思
广义序列机 相关科技名词
- 证伪refutation
- 范畴分析categorical analysis
- 自然推理natural inference
- 二难推理dilemma reasoning
- 条件逻辑conditional logic
- 阈值逻辑threshold logic
- 概率逻辑probabilistic logic
- 埃尔布朗基Herbrand base
- 归纳公理induction axiom
- 二元预解式binary resolvent
- 锁归结lock resolution
- 归结原理resolution principle
- 协调公式consistent formula
- 演绎树deduction tree
- 线性演绎linear deduction
- 锁演绎lock deduction
- 本原演绎primitive deduction
- 超演绎hyperdeduction
- 超预解式hyperresolvent
- 无循环设置cycle-free allocation
- 逻辑程序logic program
- 条件项重写系统conditional term rewriting system
- 分解decomposition
- 谓词predicate
- 谓词演算predicate calculus
- 谓词逻辑predicate logic
- 谓词变量predicate variable
- 谓词符号predicate symbol
- 符号逻辑symbolic logic
- 重言式tautology
- 自动机automaton
- 广义序列机generalized sequential machine
- 下推自动机push-down automaton;PDA
- 上下文无关文法context-free grammar;CFG
- 上下文无关语言context-free language;CFL
- 上下文有关文法context-sensitive grammar;CSG
- 上下文有关语言context-sensitive language;CSL
- 无用符[号]useless symbol
- 无穷集infinite set
- 非限制文法unrestricted grammar