程序验证 program verification 程序验证的意思 program verification的意思程序验证的英文 program verification的翻译

程序验证

规范用词程序验证

英文对照program verification

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

公布时间2002年

科学技术名词为您提供程序验证,program verification,程序验证的意思,program verification的意思,程序验证的英文,program verification的翻译,程序验证的翻译,程序验证是什么意思,程序验证什么意思,program verification是什么意思,program verification什么意思

程序验证相关科技名词

计算机科学理论»

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

程序验证 program verification 程序验证的意思 program verification的意思 程序验证的英文 program verification的翻译

程序验证

程序验证 program verification 程序验证的意思 program verification的意思程序验证的英文 program verification的翻译