λ演算
规范用词
λ演算
英文翻译
λ-calculus
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
λ演算 相关科技名词
有效项
valid item
成员问题
membership problem
次动作函数
next move function
自反传递闭包
reflexive and transitive closure
完全问题
complete problem
形式语言
formal language
初始状态
initial state
词法分析器
lexical analyzer
状态
state
抽象语言族
abstract family of languages
空白符
blank
空栈
empty stack
空集
empty set
枚举
enumeration
终极符
terminal
终结状态
final state
固有多义性
inherently ambiguity
非自反性
irreflexivity
非抹除栈自动机
non-erasing stack automaton
非终极符
non-terminal
非确定型有穷自动机
non-deterministic finite automaton
非确定型图灵机
non-deterministic Turing machine
线性文法
linear grammar
线性有界自动机
linear bounded automaton
线性规划
linear programming
线性语言
linear language
细分
refinement
单一生成式
unit production
单向栈自动机
one-way stack automaton
查讫符号
checking off symbol
穿越序列
crossing sequence
带
tape
带头
tape head
带字母表
tape alphabet
带压缩
tape compression
带减少
tape reduction
带符号
tape symbol
逆代换
inverse substitution
逆同态
inverse homomorphism
标准形式下推自动机
normal form PDA
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单