recursion n.
recursive adj.
recursively adv.
수열,sequence관련해서
점화식,recurrence_relation 참조. -
QQQ 그러고보니 단어 앞 5글자가 같은데, recurrence recursion같은점/다른점 같은건? 암튼 나중에 recurrence(writing; korean pagename tbd); and Compare.
MKL
프랙탈,fractal
{
life(
생물학,biology) +
재귀,recursion +
fractal +
L-system {
L-system, Lindenmayer system L-system } + Lindenmeyer_tree ? (is_a
트리,tree) +
발생학,embryology and
발생생물학,developmental_biology + ...:
내생각,chk:
특정한(자기반복,
재귀,recursion, ...)
구조,structure를 가진 shape의 일종?
}
용어 ¶
감기 winding
풀기 unwinding
종료 조건 terminating condition { Up:
조건,condition }
필수? chk
관련 표현
재귀적 recursive adj.
비슷: nested
재귀적인 recursive = 계산가능한 computable
재귀이론 recursion_theory = 계산가능성이론 computability_theory
(
계산가능성,computability - writing)
이것들 모두 작성중
{
재귀함수,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
Polymorphic_recursion Polymorphic.recursion
}
MKL ¶
(
경우,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 이게 용어가
무한재귀 ?
이상적인 경우라면 infinite_loop 와 equivalent?
하지만 대개의 PL에선 stack_overflow
에러,error.
ex. Python은
maximum.recursion.depth가 있으며
system.getrecursionlimit()로 확인 가능.
}
later ¶
head vs tail : head_recursion tail_recursion
{
tail recursive adj.
tail call elimination
tail recursion elimination
도 같은 것? TOASK
꼬리재귀 tail_recursion / 꼬리호출? tail_call / 꼬리재귀호출 tail_call_recursion <- 모두 같은뜻?? chk... rel:
호출,call