λ演算
规范用词
λ演算
英文翻译
λ-calculus
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
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
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单