合式公式 well-formed formula 合式公式的意思 well-formed formula的意思合式公式的英文 well-formed formula的翻译

合式公式

规范用词合式公式

英文对照well-formed formula

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

公布时间2002年

科学技术名词为您提供合式公式,well-formed formula,合式公式的意思,well-formed formula的意思,合式公式的英文,well-formed formula的翻译,合式公式的翻译,合式公式是什么意思,合式公式什么意思,well-formed formula是什么意思,well-formed formula什么意思

合式公式相关科技名词

计算机科学理论»

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

合式公式 well-formed formula 合式公式的意思 well-formed formula的意思 合式公式的英文 well-formed formula的翻译

合式公式

合式公式 well-formed formula 合式公式的意思 well-formed formula的意思合式公式的英文 well-formed formula的翻译