재귀,recursion

Difference between r1.16 and the current

@@ -132,7 +132,23 @@
...
Ggl:"Kleene's recursion theorem"

== ADDHERE (SUB pages of recursion) ==
== mutual recursion ==
mutual_recursion
'''mutual recursion''' n.
'''mutually recursive''' adj. // mkl mutually_recursive_functions ?
 
상호재귀
서로재귀
이 둘이 유이한 후보일듯한데... KmsE:mutual KpsE:mutual
 
 
https://en.wiktionary.org/wiki/mutual_recursion x 2024-06
특정 problem domains, such as
functional_programming
recursive_descent_parser { https://en.wikipedia.org/wiki/Recursive_descent_parser }
에선 이게 흔하다.
 
// mutual recursion .... NN:"mutual recursion" Bing:"mutual recursion" Ggl:"mutual recursion"
== ADDHERE (SUB pages of recursion) ==
== ADDHERE (SUB pages of recursion) ==
== ADDHERE (SUB pages of recursion) ==
@@ -162,6 +178,10 @@
''언젠 또 iterative와 동의어였던것갈은데 뭐였지... [[반복,iteration]]''
''이것 정리 tbw''

https://en.wikipedia.org/wiki/Mathematical_logic#Recursion_theory
"Recursion theory, also called computability theory, studies..."
[[recursion_theory]] = [[computability_theory]] 동의어.
= Cmp =
recurrence - [[recurrence]] - [[리커런스,recurrence]]
저것도 재귀로 번역되기도 하는데



recursion n. WtEn:recursion
recursive adj. ? WtEn:recursive

1. Sub

1.1. recursive call 재귀호출

재귀호출,recursive_call - 호출,call
=재귀호출,recursive_call =,recursive_call 재귀호출 recursive_call Srch:recursive_call Srch:재귀호출
{



Ggl:recursive call
"recursive call"
}

1.2. recursive function 재귀함수

재귀함수,recursive_function
=재귀함수,recursive_function 재귀함수,recursive_function 재귀함수 recursive_function Srch:재귀함수 Srch:recursive_function
{

WtEn:recursive_function
이건 basic programming의 뜻과
CS의 좀 까다로운 뜻
두가지가 있는데, pagename? / page division?




Ggl:recursive function
"recursive function"
}

1.3. recursive definition 재귀적 정의

recursive_definition =,recursive_definition =,recursive_definition . recursive_definition
{
recursive definition
재귀정의? 재귀적정의?

WtEn:recursive_definition
inductive_definition 과 동의어라고.

curr at 정의,definition 맨위



1.4. head_recursion vs tail_recursion

head_recursion
tail_recursion
"head recursion tail recursion"
Naver:head recursion tail recursion
Ggl:head recursion tail recursion

QQQ 머리재귀에 비해 꼬리재귀는 컴파일러가 최적화할 수 있어 더 효율적? 항상? CHK

1.4.1. head recursion 머리재귀 ??

head_recursion =,head_recursion =,head_recursion . head_recursion
head recursion
WtEn:head_recursion

1.4.2. tail recursion 꼬리재귀 ?

tail_recursion =,tail_recursion =,tail_recursion . tail_recursion
{
tail recursion


꼬리재귀 외의 마땅한 번역이 없나?




꼬리재귀
"tail recursion"
}

1.5. recursion theorem

recursion_theorem
"recursion theorem"
Ggl:recursion theorem

1.5.1. Kleene's recursion theorem

1.6. mutual recursion

mutual_recursion
mutual recursion n.
mutually recursive adj. // mkl mutually_recursive_functions ?

상호재귀
서로재귀
이 둘이 유이한 후보일듯한데... KmsE:mutual KpsE:mutual


https://en.wiktionary.org/wiki/mutual_recursion x 2024-06
특정 problem domains, such as
functional_programming
recursive_descent_parser { https://en.wikipedia.org/wiki/Recursive_descent_parser }
에선 이게 흔하다.

// mutual recursion .... NN:mutual recursion Bing:mutual recursion Ggl:mutual recursion

1.7. ADDHERE (SUB pages of recursion)

1.8. ADDHERE (SUB pages of recursion)

1.9. ADDHERE (SUB pages of recursion)

1.10. ADDHERE (SUB pages of recursion)


2. 관련표현

self-reference
스스로를 참조,reference
wk 표제어가 자기언급이었나... WpKo:자기언급 .... Naver:자기언급 자기참조
하는 건 재귀와 밀접한데...
저건 프랙털,fractal과도 밀접.

자기언급
자기참조

self-definition ? 이런게있나? recursive_definition 과 차이가 있다면? 같은건지?
Ggl:self-definition
Ggl:self-definition recursive definition

사실 self 뭐뭐 이건 모두 재귀와밀접한데...



3. 동의어

계산가능성 얘기할 땐, recursive = computable 동의어.
mathematical_induction (VG: 수학적귀납법,mathematical_induction) 얘기할 땐, recursive = inductive 동의어.
언젠 또 iterative와 동의어였던것갈은데 뭐였지... 반복,iteration
이것 정리 tbw

https://en.wikipedia.org/wiki/Mathematical_logic#Recursion_theory
"Recursion theory, also called computability theory, studies..."
recursion_theory = computability_theory 동의어.

4. Cmp

recurrence - recurrence - 리커런스,recurrence
저것도 재귀로 번역되기도 하는데
저건 점화,로 할까?
(VG: 점화식,recurrence_relation => 점화관계,recurrence_relation 예정.)

iterative_method { 반복,iteration 방법,method? }