Sub:
Sub?
연쇄규칙,chain_rule ... 연쇄법칙,chain_rule? (
연쇄법칙,chain_rule)
곱의_법칙,rule_of_product
생성규칙,production_rule (이상 둘 전혀 다른 거...)
추론규칙,inference_rule - 추론,inference 규칙
Sarrus_rule 사루스_규칙 ?
Sarrus 
Sarrus
Cramer Cramer
derivation_rule - w, rule of 데리베이션,derivation
conversion_rule - conversion ...(전환? 변환? 변환은 변환,transformation 과 겹치고...)
{
rewriting rule
rewrite rule? - (Barendregt 2000)
연쇄규칙,chain_rule ... 연쇄법칙,chain_rule? (
연쇄법칙,chain_rule)곱의_법칙,rule_of_product
생성규칙,production_rule (이상 둘 전혀 다른 거...)
추론규칙,inference_rule - 추론,inference 규칙
Sarrus_rule 사루스_규칙 ?
Sarrus Sarrus사뤼의 법칙 via 수학백과
then 사뤼_규칙 ?
Pierre Frédéric Sarrus
발음(we) : pjɛʁ fʁedeʁik saʁy
![[https]](/wiki/imgs/https.png)
수학백과: 사뤼의 법칙
https://en.wikipedia.org/wiki/Rule_of_Sarrus
sarrus rule
Cramer_rule 크라메르_규칙 ? then 사뤼_규칙 ?
Pierre Frédéric Sarrus
발음(we) : pjɛʁ fʁedeʁik saʁy
수학백과: 사뤼의 법칙https://en.wikipedia.org/wiki/Rule_of_Sarrus
sarrus ruleCramer Cramerderivation_rule - w, rule of 데리베이션,derivation
conversion_rule - conversion ...(전환? 변환? 변환은 변환,transformation 과 겹치고...)
lambda_conversion_rule - via VG lambda_calculus
rewriting_rule or rewrite_rule - via VG lambda_calculus{
rewriting rule
rewrite rule? - (Barendregt 2000)
Rel
rewriting = rewrite? {
rewriting#Noun 2. "a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms"
rewrite#Noun 3. "The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation."
보면 rewrite도 명사형이며, 완전 동의어인 듯 ??
번역후보는
다시쓰기 재작성
....
rewriting
Sub:
_rule - 규칙,rule
(fp에서) 더 이상의 다시쓰기규칙이 없을 때 까지 reduction한 expression은 normal_form.
} // rewriting or rewrite ...
rewrite rule에 의해 주어진 functions: combinator. 조합자,combinator?
rewriting = rewrite? {
rewriting#Noun 2. "a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms"rewrite#Noun 3. "The replacement of subterms of a formula with other terms, according to certain rules, by way of transformation."보면 rewrite도 명사형이며, 완전 동의어인 듯 ??
번역후보는
다시쓰기 재작성
....
rewritingSub:
_rule - 규칙,rule
(fp에서) 더 이상의 다시쓰기규칙이 없을 때 까지 reduction한 expression은 normal_form.
} // rewriting or rewrite ...
Up: 규칙,rule
} // rewrite rulerewrite rule // rewriting rule rewriting rule
formation_rule =,formation_rule =,formation_rule . formation_rule
{
formation rule
} // rewrite rule
rewrite rule // rewriting rule rewriting ruleformation_rule =,formation_rule =,formation_rule . formation_rule
{
formation rule
번역은
형성규칙 생성규칙 ...중에? // [[생성, [[형성,
생성은 아무래도 generation/generative 쪽에 쓰이므로 쓰지 말고 형성규칙 - 이 최선일 듯? 2023-12-04
형성규칙 생성규칙 ...중에? // [[생성, [[형성,
생성은 아무래도 generation/generative 쪽에 쓰이므로 쓰지 말고 형성규칙 - 이 최선일 듯? 2023-12-04
formation_rule = https://en.wiktionary.org/wiki/formation_rule를 보면 형식언어,formal_language의 적형식,wff을 'construct'하기 위한 규칙들 집합의 임의의 원소(ie 그냥 규칙)를 뜻함.
construction을 위한 것이므로 형성규칙 ...으로 해도 ok인듯?
근데 wj보면 構成規則 구성규칙 으로 했는데 이것도 괜찮은듯?
아무튼 형성규칙 구성규칙 중에 TBD
構成規則= https://ja.wikipedia.org/wiki/構成規則
構成規則 = 구성규칙
構 얽을 구
成 이룰 성
規 법 규
則 법칙 칙
Up: 규칙,rule構 얽을 구
成 이룰 성
規 법 규
則 법칙 칙
} // formation rule "formation rule"
formation rule