911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供命题演算,propositional calculus,命题演算的意思,propositional calculus的意思,命题演算的英文,propositional calculus的翻译,命题演算的翻译,命题演算是什么意思,命题演算什么意思,propositional calculus是什么意思,propositional calculus什么意思
命题演算 相关科技名词
- 开始符号start symbol
- 双向下推自动机two-way push-down automaton
- 双向无穷带two-way infinite tape
- 双向有穷自动机two-way finite automaton
- 双栈机two-stack machine
- 双带有穷自动机two-tape finite automaton
- 双带图灵机two-tape Turing machine
- 不可判定问题undecidable problem
- 正则序canonical order
- 正闭包positive closure
- 正规文法regular grammar
- 正则集regular set
- 可计算函数computable function
- 可区别状态distinguishable state
- 对角化方法diagonalization
- 对偶产生器pair generator
- 句型sentential form;sentence pattern
- 句柄handle
- 生成式production
- 生成树问题spanning-tree problem
- 左匹配left-matching
- 左线性文法left-linear grammar
- 右匹配right-matching
- 右句型right sentential form
- 右线性文法right-linear grammar
- 半图厄系统semi-thue system
- 半线性集semilinear set
- 多义文法ambiguous grammar
- 多头图灵机multihead Turing machine
- 多带图灵机multitape Turing machine
- 多维图灵机multidimensional Turing machine
- 闭包closure
- 同态homomorphism
- 有穷自动机finite automaton
- 有穷自动机最小化minimization of finite automaton
- 有穷状态系统finite state system
- 有穷性问题finiteness problem
- 有穷转向下推自动机finite-turn PDA
- 有限控制器finite controller
- 有效过程effective procedure
别人正在查