데리베이션,derivation

Redirected from page "derivation"

유도,derivation - w

컴파일러론에서 유도(derivation)는, 생성규칙,production_rule에 따라 문장(문장,sentence? statement? )을 생성,production해 나가는 과정.

도출,derivation 도 가능한 번역.

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

adj. derivative_ ?

MKL
induction - 유도,induction

esp mathematical_induction - 수학적귀납 ? curr.

수학적귀납법,mathematical_induction

QQQ
derivation induction 차이

derivation induction 차이

derivation induction 차이

derivation induction 차이

Sub:
derivation_rule - 규칙,rule
{
derivation rule

derivation_rule x 2024-01-13
} // derivation rule

derivation rule