细分
规范用词
细分
英文翻译
refinement
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词（第二版）
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
细分 相关科技名词
开始符号
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