911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供演绎数学,deductive mathematics,演绎数学的意思,deductive mathematics的意思,演绎数学的英文,deductive mathematics的翻译,演绎数学的翻译,演绎数学是什么意思,演绎数学什么意思,deductive mathematics是什么意思,deductive mathematics什么意思
演绎数学 相关科技名词
- 前缀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
别人正在查