#noindex
##=데리베이션,derivation =,derivation . derivation
[[유도,derivation]] - w
 컴파일러론에서 유도(derivation)는, [[생성규칙,production_rule]]에 따라 문장([[문장,sentence]]? statement? )을 [[생성,production]]해 나가는 과정.
[[도출,derivation]] 도 가능한 번역.

대충 뜻이 아마
유도한 것 
[[증명,proof]]의 경우 - 증명의 유도 과정 
형식적 증명 [[formal_proof]]과 같은 뜻일 수 있다 - via https://en.wikipedia.org/wiki/Formal_proof 첫문장

KmsE:derivation
NdEn:derivation
Naver:derivation
Ndict:derivation

adj. derivative_ ?


----
MKL
induction - [[유도,induction]]
 esp mathematical_induction - 수학적귀납 ? curr. [[VG:수학적귀납법,mathematical_induction]]

 QQQ
 derivation induction 차이
 Ggl:"derivation induction 차이" Naver:"derivation induction 차이" Bing:"derivation induction 차이"

----
Sub:
[[derivation_rule]] - [[규칙,rule]]
{
'''derivation rule'''
WtEn:derivation_rule x [[Date(2024-01-13T06:28:32)]]
} // derivation rule Ggl:"derivation rule"