端记号
规范用词
端记号
英文翻译
endmarker
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
端记号 相关科技名词
证伪
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