λ演算
规范用词
λ演算
英文翻译
λ-calculus
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
λ演算 相关科技名词
前缀
prefix
前缀性质
prefix property
泵作用引理
pumping lemma
栈自动机
stack automaton
栈字母表
stack alphabet
格局
configuration
递归可枚举语言
recursively enumerable language
递归定理
recursion theorem
递归语言
recursive language
次递归性
subrecursiveness
通用图灵机
universal Turing machine
接受状态
accepting state
确定型上下文有关语言
deterministic CSL
确定型有穷自动机
deterministic finite automaton
确定型下推自动机
deterministic pushdown automaton
确定型图灵机
deterministic Turing machine
等价关系
equivalence relation
等价问题
equivalence problem
最左派生
leftmost derivation
最右派生
rightmost derivation
道
track
输入字母表
input alphabet
输入带
input tape
输入符号
input symbol
输出字母表
output alphabet
输出带
output tape
端记号
endmarker
瞬时描述
instantaneous description
0型文法
0-type grammar
1型文法
1-type grammar
2型文法
2-type grammar
3型文法
3-type grammar
乔姆斯基范式
Chomsky normal form
乔姆斯基谱系
Chomsky hierarchy
CYK算法
CYK algorithm
格雷巴赫范式
Greibach normal form
克林闭包
Kleene closure
LR(0)文法
LR(0) grammar
LR(k)文法
LR(k) grammar
米利机[器]
Mealy machine