理论计算机科学 形式语言与自动机 释文 type-1 grammar 1型文法 理论计算机科学 形式语言与自动机 释文 type-1 grammar 1型文法
- lambda-system
- lambda-term
- lambda transition
- Lambda-冷暗物质模型
- Lambda冷暗物质模型
- lambda-向错
- lambda向错
- lambda完备滤子
- lambda康托尔集
- lambda引理
- lambda抽象
- Lambda格
- lambda演算
- lambda点
- lambda相变
- lambda线
- lambda表示法
- lambda规范
- lambda规范下的非阿贝尔规范场的传播子
- Lambda超子
- Lambda超核
- Lamb dip
- lamb dip frequency stabilization
- lambdoid suture
- Lambek calculus