#noindex '''recursion''' n. '''recursive''' adj. '''recursively''' adv. 관련표현 WtEn:recursiveness = WtEn:recursivity (내용은 "The quality of being recursive." 이므로 볼필요 x, '''재귀'''적 [[성질,property]]에 대한 명사형이므로 일단 명시, del ok) Subtopics 추가에 참조: WtEn:recursive ---- [[수열,sequence]]관련해서 [[점화식,recurrence_relation]] 참조. - ''QQQ 그러고보니 단어 앞 5글자가 같은데, Google:recurrence+recursion 같은점/다른점 같은건? 암튼 나중에 [[recurrence]](writing; korean pagename tbd); and Compare.'' tmp see WtEn:recurrence WtEn:recursion MKL [[프랙탈,fractal]] { life([[생물학,biology]]) + [[재귀,recursion]] + '''fractal''' + [[L-system]] { '''L-system, Lindenmayer system''' WpEn:L-system } + Lindenmeyer_tree ? (is_a [[트리,tree]]) + [[발생학,embryology]] and [[발생생물학,developmental_biology]] + ...: The recursion formula behind life itself? - YouTube NanoRooms https://www.youtube.com/watch?v=OMB1JLIdwNA 내생각,chk: 특정한(자기반복, [[재귀,recursion]], ...) [[구조,structure]]를 가진 shape의 일종? } QQQ self-reference/self-referential? 자기참조? 맞나? - [[자기참조,self-reference]] - curr at [[참조,reference]] = Sub = [[recursive_algorithm]] recursive algorithm / QQQ aka recursive_method ? 차이가 있다면 차이점은? Ggl:"recursive method" 재귀(적) 알고리듬 ... [[알고리듬,algorithm]] Ggl:"recursive algorithm" [[재귀함수,recursive_function]] [[재귀수열,recursive_sequence]] { recursive sequence https://proofwiki.org/wiki/Definition:Recursive_Sequence 각 [[항,term]]이 이전 항들로부터 정의된 수열. 이 수열을 정의하는 [[방정식,equation]]을 "recurrence relation(curr [[점화식,recurrence_relation]]) 또는 [[차분방정식,difference_equation]]"이라 한다. 이게 (전체적으로) 정의되려면 [[초기항,initial_term]](KmsE:"initial term" KMS는 "initial term 첫항, 초항", as of [[Date(2023-12-09T12:35:15)]]) 의 정의가 필요하다. Up: [[재귀,recursion]] [[수열,sequence]] "recursive sequence" Ggl:"recursive sequence" Naver:"recursive sequence" } .... ''TODO 아래와 통합 또는 copy(duplicate).....'' = 용어 = 감기 winding 풀기 unwinding 종료 조건 terminating condition { Up: [[조건,condition]] } 필수? chk 관련 표현 재귀적 recursive adj. 비슷: nested 재귀적인 recursive = 계산가능한 computable 재귀이론 recursion_theory = 계산가능성이론 computability_theory ([[계산가능성,computability]] - writing) [[재귀집합,recursive_set]] = [[계산가능집합,computable_set]] [[재귀함수,recursive_function]] = [[계산가능함수,computable_function]] Related: [[계산가능성,computability]] 이것들 모두 작성중 { [[재귀함수,recursive_function]] [[원시재귀함수,primitive_recursive_function]] primitive recursive function [[재귀언어,recursive_language]] - [[언어,language]] [[재귀열거언어,recursively_enumerable_language]] - [[열거,enumeration]] [[언어,language]] [[아커만_함수,Ackermann_function]] [[재귀열거집합,recursively_enumerable_set]] [[상호재귀,mutual_recursion]] [[recursive_data_type]] - [[타입,type]] [[recursive_descent_parser]] [[corecursion]] [[재귀정리,recursion_theorem]] - [[정리,theorem]] [[recursive_definition]] - [[정의,definition]] 이하 명사형이 아닌데(ie pagename 확실치 않은데) 일단 열거 recursively_enumerable recursively_undecidable polymorphic_recursion - curr see WpEn:Polymorphic_recursion Google:Polymorphic.recursion } = examples = [[계승,factorial]] [[피보나치_수열,Fibonacci_sequence]] [[하노이의_탑,tower_of_Hanoi]] = MKL = [[귀납,induction]] [[수학적귀납법,mathematical_induction]] [[귀납가설,induction_hypothesis]] ([[경우,case]] [[케이스,case]]) : base_case and recursive_case "base case" and "recursive case" 가 있는데 (stop하는 기준이 되는?? chk) base case는 항상 있는지? chk - 항상 있는 건 아님 { 기저조건(base case)이 거의 항상 있다. 예를 들어 예제로 나오는 그 `countdown`이나 `factorial`에서 `n<=0` 인 경우. 하지만 base case가 없을 수도 있다. QQQ 이게 용어가 Google:무한재귀 ? 이상적인 경우라면 infinite_loop 와 equivalent? 하지만 대개의 PL에선 stack_overflow [[에러,error]]. ex. Python은 Google:maximum.recursion.depth 가 있으며 `system.getrecursionlimit()`로 확인 가능. } = later = CS에서 [[호출,call]]관련해 [[재귀호출,recursive_call]] AKA 되부르기, 되부름 감기(winding) - 종료 조건(terminating condition) - 풀기(unwinding) [[프로그래밍,programming]]에선 재귀 자체가 재귀호출을 뜻하는 경우가 많은? [[재귀함수,recursive_function]]는 뜻이 두가지 curr see WtEn:recursive_function head vs tail : head_recursion tail_recursion { tail recursive adj. https://foldoc.org/tail+recursion https://wiki.haskell.org/Tail_recursion https://foldoc.org/tail+recursion+optimisation [[최적화,optimization]] > [[코드최적화,code_optimization]] or [[컴파일러최적화,compiler_optimization]] tmp links: https://everything2.com/title/head-recursion https://everything2.com/title/tail+recursion https://dev.to/soorya54/head-recursion-vs-tail-recursion-22o3 https://qa-faq.com/en/Q%26A/page=d0370edfb8fb957ffbb17275763e7acb via: Google:head.recursion Google:tail.recursion } tail call recursion tail call optimization [[Wiki:TailCallOptimization]] https://wiki.osdev.org/Tail_Recursion_and_Tail_Call_Optimization tail call elimination tail recursion elimination 도 같은 것? TOASK 꼬리재귀 tail_recursion / 꼬리호출? tail_call / 꼬리재귀호출 tail_call_recursion <- 모두 같은뜻?? chk... rel: [[호출,call]] [[WpKo:꼬리_재귀]] [[WpEn:Tail_call]] = Compare = [[반복,iteration]] [[반복,repetition]] recurrence - 이것도 반복? (뜻은 당연하지만, appropriate for vg pagename?) WtEn:recurrence NdEn:recurrence KmsE:recurrence 글쎄, 반복도 가능한 번역이지만, '재발 되풀이' 중에 하나로 할 듯? '점화'는 좀 별로고... 페이지가 필요한지는 의문인데 혹시 만들어지면 cmp: '''재귀,recursion''' [[반복,iteration]] [[반복,repetition]] \ Sub: [[점화식,recurrence_relation]] \ RR 리커런스,recurrence [[루프,loop]] { Programming Loops vs Recursion - Computerphile - YouTube https://www.youtube.com/watch?v=HXNhEYqFo0o ... Google:loop+vs+recursion } [[self-similarity]] ? WtEn:self-similarity (of [[similarity]]: 자기유사성 자기닮음성 자기닮음 ...) = Twins = http://foldoc.org/recursion http://www.aistudy.com/computer/recursion.htm [[WpEn:Recursion_(computer_science)]] [[WpEn:Category:Recursion]] [[WpKo:재귀_(컴퓨터_과학)]] [[WpKo:분류:재귀]] https://everything2.com/title/recursive - recursive_function 그리고 recursive_set 설명 http://oeis.org/wiki/Recursion ... 2022-05 2023-12 현재 stub https://ncatlab.org/nlab/show/recursion https://hut.mearie.org/recursion/ https://mathworld.wolfram.com/Recursion.html ---- Up: [[전산학,compsci]]