谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思谓词逻辑的英文 predicate logic的翻译

谓词逻辑

规范用词谓词逻辑

英文对照predicate logic

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供谓词逻辑,predicate logic,谓词逻辑的意思,predicate logic的意思,谓词逻辑的英文,predicate logic的翻译,谓词逻辑的翻译,谓词逻辑是什么意思,谓词逻辑什么意思,predicate logic是什么意思,predicate logic什么意思

谓词逻辑相关科技名词

计算机科学理论»

有效项valid item
成员问题membership problem
次动作函数next move function
自反传递闭包reflexive and transitive closure
完全问题complete problem
形式语言formal language
初始状态initial state
词法分析器lexical analyzer
状态state
抽象语言族abstract family of languages
空白符blank
空栈empty stack
空集empty set
枚举enumeration
终极符terminal
终结状态final state
固有多义性inherently ambiguity
非自反性irreflexivity
非抹除栈自动机non-erasing stack automaton
非终极符non-terminal
非确定型有穷自动机non-deterministic finite automaton
非确定型图灵机non-deterministic Turing machine
线性文法linear grammar
线性有界自动机linear bounded automaton
线性规划linear programming
线性语言linear language
细分refinement
单一生成式unit production
单向栈自动机one-way stack automaton
查讫符号checking off symbol
穿越序列crossing sequence
带tape
带头tape head
带字母表tape alphabet
带压缩tape compression
带减少tape reduction
带符号tape symbol
逆代换inverse substitution
逆同态inverse homomorphism
标准形式下推自动机normal form PDA

谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思 谓词逻辑的英文 predicate logic的翻译

谓词逻辑

谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思谓词逻辑的英文 predicate logic的翻译