Pertanyaan yang diberi tag «recursion»

Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa rekursi memiliki dasar yang kuat. Eliminator : Setiap datatype induktif memiliki konstan terkait …

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

Saya perlu membuat algoritma rekursif untuk melihat apakah pohon biner adalah pohon pencarian biner serta menghitung berapa banyak cabang lengkap yang ada (simpul orangtua dengan simpul anak kiri dan kanan) dengan asumsi variabel penghitungan global. Ini adalah tugas untuk kelas struktur data saya. Sejauh ini saya punya void BST(tree T) …

10 algorithms  recursion  trees 

Apakah ada perbedaan antara rekursi struktural dan rekursi ekor atau keduanya sama? Saya melihat bahwa pada kedua rekursi ini, fungsi rekursif disebut pada subset dari item orignal.

8 recursion 

Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Jadi secara teori, keturunan rekursif tidak akan berhasil. Tetapi dengan …

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

Saya membuat program Haskell (ungolfed) berikut untuk tantangan kode golf untuk komputasi yang pertamannnnilai A229037 . Ini adalah solusi yang saya usulkan untuk menghitung nnnnilai th: a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | x <- [1..], …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion