911chaxun查询科学技术名词计算机科学理论
计算机科学技术计算机科学理论
LR(0)文法 LR(0) grammar LR(0)文法的意思 LR(0) grammar的意思 LR(0)文法的英文 LR(0) grammar的翻译 LR(0)文法的翻译
科学技术名词为您提供LR(0)文法,LR(0) grammar,LR(0)文法的意思,LR(0) grammar的意思,LR(0)文法的英文,LR(0) grammar的翻译,LR(0)文法的翻译,LR(0)文法是什么意思,LR(0)文法什么意思,LR(0) grammar是什么意思,LR(0) grammar什么意思
LR(0)文法 相关科技名词
- 能行性effectiveness
- 丘奇论题Church thesis
- 计算computation
- 图灵机Turing machine
- 递归函数recursive function
- 原始递归函数primitive recursive function
- 特征函数characteristic function
- 哥德尔配数
- λ演算λ-calculus
- 波斯特系统Post system
- 一阶逻辑first order logic
- 一阶理论first order theory
- 命题逻辑propositional logic
- 命题演算propositional calculus
- 形式系统formal system
- 演绎规则deduction rule
- 布尔运算Boolean operation
- 布尔代数Boolean algebra
- 布尔表达式Boolean expression
- 三段论syllogism
- 真值表truth table
- 合式公式well-formed formula
- 逻辑蕴涵logical implication
- 析取范式disjunctive normal form
- 合取范式conjunctive normal form
- 演绎deduce
- 假言推理modus ponens
- 归约reduce;reduction
- 演绎数学deductive mathematics
- 数学公式mathematical axiom
- 形式规则formation rule
- 原子公式atomic formula
- 论域domain
- 前束范式prenex normal form
- 代入substitution
- 代入复合composition of substitution
- 关系系统relation system
- 勒文海姆-斯科伦定理
- 高阶逻辑higher order logic
- 二阶逻辑second order logic
别人正在查