primitive recursive
tính từ (adjective)
Nghĩa chính
- Của một hàm, có khả năng được xây dựng từ hàm 0, hàm kế thừa và hàm chiếu, bằng một số hữu hạn ứng dụng của phép hợp và đệ quytính từkhông so sánh (not comparable)Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.