Nghĩa của từ 归约 bằng Tiếng Việt
- {reduced}
Đặt câu có từ "归约"
Dưới đây là những mẫu câu có chứa từ "归约", trong bộ từ điển Tiếng Trung - Tiếng Việt. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ 归约, hoặc tham khảo ngữ cảnh sử dụng từ 归约 trong bộ từ điển Tiếng Trung - Tiếng Việt
1. 如果一个lambda项不包含形如 (λv.E1 E2)的子项,则它不能被归约,而被称为是范式。
2. 如果每个程序都可以归约到规范形式,则这个类型论被成为是“规范化”的(或“弱规范化”的)。
3. 如果E1(有时叫做applicand)是一个抽象,则这个项可以被归约:参数E2可以被代换如E1的主体中E1的形式参数的位置上,而结果是一个新的lambda项,它等价于旧的。