高阶逻辑 higher order logic 高阶逻辑的意思 higher order logic的意思高阶逻辑的英文 higher order logic的翻译

高阶逻辑

规范用词高阶逻辑

英文对照higher order logic

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

公布时间2002年

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

高阶逻辑相关科技名词

计算机科学理论»

开始符号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

高阶逻辑 higher order logic 高阶逻辑的意思 higher order logic的意思 高阶逻辑的英文 higher order logic的翻译

高阶逻辑

高阶逻辑 higher order logic 高阶逻辑的意思 higher order logic的意思高阶逻辑的英文 higher order logic的翻译