유도,derivation
- w
컴파일러론에서 유도(derivation)는,
생성규칙,production_rule
에 따라 문장(
문장,sentence
? statement? )을
생성,production
해 나가는 과정.
도출,derivation
도 가능한 번역.
대충 뜻이 아마
유도한 것
증명,proof
의 경우 - 증명의 유도 과정
형식적 증명
formal_proof
과 같은 뜻일 수 있다 - via
https://en.wikipedia.org/wiki/Formal_proof
첫문장
derivation
derivation
derivation
derivation
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
Retrieved from http://red-ruby.com/wiki/wiki.php/데리베이션,derivation
last modified 2024-02-14 05:32:05