真值表可归约性 truth-table reducibility 真值表可归约性的意思 truth-table reducibility的意思

真值表可归约性

规范用词真值表可归约性

英文对照truth-table reducibility

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

公布时间2002年

科学技术名词为您提供真值表可归约性,truth-table reducibility,真值表可归约性的意思,truth-table reducibility的意思,真值表可归约性的英文,truth-table reducibility的翻译,真值表可归约性的翻译,真值表可归约性是什么意思,真值表可归约性什么意思,truth-table reducibility是什么意思,truth-table reducibility什么意思

真值表可归约性相关科技名词

计算机科学理论»

前缀prefix
前缀性质prefix property
泵作用引理pumping lemma
栈自动机stack automaton
栈字母表stack alphabet
格局configuration
递归可枚举语言recursively enumerable language
递归定理recursion theorem
递归语言recursive language
次递归性subrecursiveness
通用图灵机universal Turing machine
接受状态accepting state
确定型上下文有关语言deterministic CSL
确定型有穷自动机deterministic finite automaton
确定型下推自动机deterministic pushdown automaton
确定型图灵机deterministic Turing machine
等价关系equivalence relation
等价问题equivalence problem
最左派生leftmost derivation
最右派生rightmost derivation
道track
输入字母表input alphabet
输入带input tape
输入符号input symbol
输出字母表output alphabet
输出带output tape
端记号endmarker
瞬时描述instantaneous description
0型文法0-type grammar
1型文法1-type grammar
2型文法2-type grammar
3型文法3-type grammar
乔姆斯基范式Chomsky normal form
乔姆斯基谱系Chomsky hierarchy
CYK算法CYK algorithm
格雷巴赫范式Greibach normal form
克林闭包Kleene closure
LR(0)文法LR(0) grammar
LR(k)文法LR(k) grammar
米利机[器]Mealy machine