}
model ¶
=,model_of_computation =,computation_model .
model_of_computation
computation_model
{
model of computation
computation model
Sub:
sequential model
functional model s
concurrent models
concurrent_model s
(tmp)
general_recursive_function
general recursive function
일반재귀함수 ?
Inter:
https://en.wikipedia.org/wiki/General_recursive_function
모두 같은 표현: "general recursive function, partial recursive function, or μ-recursive function"
//general recursive function, partial recursive function, or μ-recursive function
이것은
부분함수,partial_function. 이것이
total_function이면
total recursive function = total_recursive_function 이 되며, 가끔 그냥
recursive function = recursive_function 으로 줄여 부름. "(sometimes shortened to recursive function)"
// MKL
재귀함수,recursive_function
primitive_recursive_function { primitive recursive function 원시재귀함수 (wk)
https://ko.wikipedia.org/wiki/원시_재귀_함수 https://en.wikipedia.org/wiki/Primitive_recursive_function 원시재귀함수 원시재귀함수 primitive recursive function primitive recursive function }
에 밀접. ... 모든 total r.f.가 primitive r.f인 것은 아님. (ex. Ackermann_function
https://en.wikipedia.org/wiki/Ackermann_function )
μ는
minimization_operator. { minimization operator 최소화 연산자 / 작용소 ?
최소화,minimization 연산자,operator 작용소,operator ...
https://en.wikipedia.org/wiki/Μ_operator ...
minimization operator (2023-08-12 없음. 전체검색으로 나가보면 vg 나옴.)
minimization operator mu operator }
corresp ko interwiki:
https://ko.wikipedia.org/wiki/Μ-재귀_함수
μ-재귀 함수
한국어로? at 2023-08-13
일반 재귀 함수 .... 거의 언급이 없다. 적절한 kw?
뮤 재귀 함수 ...
https://eatchangmyeong.github.io/2022/04/22/interest-driven-mu-recursive-functions.html
μ-재귀 함수
일반 재귀 함수
뮤 재귀 함수
μ-재귀 함수
https://mathworld.wolfram.com/GeneralRecursiveFunction.html
general recursive function
general recursive function
https://en.wikipedia.org/wiki/Model_of_computation
}