Câu hỏi được gắn thẻ «recursion»

Trong lập trình phụ thuộc, có hai cách chính để phân tách dữ liệu và thực hiện đệ quy: Khớp mẫu phụ thuộc : định nghĩa hàm được đưa ra dưới dạng nhiều mệnh đề. Hợp nhất đảm bảo rằng tất cả các trường hợp bị bỏ qua là không …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Tôi cần tạo một thuật toán đệ quy để xem cây nhị phân có phải là cây tìm kiếm nhị phân không cũng như đếm xem có bao nhiêu nhánh hoàn chỉnh (một nút cha có cả hai nút con trái và phải) với biến đếm toàn cục giả định. …

10 algorithms  recursion  trees 

Có sự khác biệt nào giữa đệ quy cấu trúc và đệ quy đuôi hay cả hai đều giống nhau không? Tôi thấy rằng trong cả hai lần truy xuất này, hàm đệ quy được gọi trên tập hợp con của các mục gốc.

8 recursion 

Ngữ pháp này được để lại đệ quy: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Vì vậy, trên lý thuyết, dòng dõi …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Tôi đã thực hiện chương trình Haskell (chưa được xử lý) sau đây cho thử thách chơi gôn mã khi tính toán nnn giá trị đầu tiên của A229037 . Đây là giải pháp đề xuất của tôi để tính giá trị thứ :nnn a n | n<1 = 0 …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion 

Gödel định nghĩa trong đệ quy nguyên thủy System T của mình đối với các loại cao hơn. Tôi đã tìm thấy các ghi chú từ Girard nơi anh ta giải thích việc triển khai Hệ thống T trên đầu trang của phép tính lambda được gõ đơn giản. Ở …

8 computability  lambda-calculus  recursion  type-theory 

Chúng ta có một hàm lấy một mảng làm đầu vào. Nó chia một mảng thành các phần với kích thước bằng nhau trong đó là kích thước của phân đoạn. Nó tiếp tục phá vỡ từng phân đoạn cho đến khi chỉ còn hai yếu tố trong đó. Độ …

7 complexity-theory  time-complexity  asymptotics  recursion  mathematical-analysis 

Tôi là một trợ lý giáo viên trong trường đại học của tôi và chủ đề tiếp theo của tôi là đệ quy. cách nào là tốt nhất để dạy đệ quy để học sinh có thể nắm bắt khái niệm dễ dàng và có thể suy nghĩ đệ quy? …

7 recursion  education  didactics