normal form, NF
번역이 정규형(정규형normal_form) 표준형 정규형식 표준형식등으로 다양하며, TBD. 분명 넷 중 하나로 결정될듯. 여기는 TemporaryPageName.
2024-04-07 지금까지의 vg page names에 맞추자면 정규형식,normal_form이 제일 유력. regular/normal은 정규, canonical은 정준, standard는 표준, 으로 통일하는게 어떨지....

일단 normal form 보면 kms는 '표준형'을 선호한다 - standard_form 과 겹치는데. 저것도 사실 비슷한 뜻이다... standard form 근데 문제는 standard form과 다른 뜻으로 normal form이 쓰일 때이다.
(canonical_form = canonical form 도 비슷한 뜻이고 여기랑 번역어들이 겹친다)
(비슷한 번역 문제가 대칭군 - 에도 있다. 대칭군: 대칭군,symmetric_group or 대칭군,symmetry_group)
{2023-12-09:
conjunctive normal form 논리곱표준형
disjunctive normal form 논리합(의) 표준형
Hesse’s normal form 헤세의 표준형
normal form 표준형
}

normal form 보면 DB쪽에서는 normal form의 번역으로 '정규형'을 절대적으로 선호한다.

normal_form
= https://en.wiktionary.org/wiki/normal_form

선형대수,linear_algebra
조르당 표준형(Jordan normal form) ? Jordan_normal_form
Jordan normal form
Not in Jordan normal form 2024-07-13
// Jordan normal form .... Jordan normal form Jordan normal form Jordan normal form

어느 분야에 속하는지 찾아보기 귀찮은 NF는 일단 여기에 대충 적고 나중에 분류
{

prenex_normal_form =,prenex_normal_form . prenex_normal_form |=,PNF PNF
{
prenex normal form
프레넥스 ?
https://ko.wikipedia.org/wiki/프리넥스_표준형

prenex_normal_form
= https://en.wiktionary.org/wiki/prenex_normal_form

Prenex_normal_form ?

} // prenex normal form .... prenex normal form prenex normal form

Smith_normal_form =,Smith_normal_form . Smith_normal_form |=,SNF SNF
{
스미스 표준형 (Smith normal form)
Smith_normal_form ?
Smith_normal_form ?
스미스_표준형_(Smith_normal_form) = http://wiki.mathnt.net/index.php?title=스미스_표준형_(Smith_normal_form)
정수행렬에 대한 normal form. 여러 분야에서 활용한다고.
}// Smith normal form ... Smith normal form Smith normal form Smith normal form Smith normal form

weak_head_normal_form =,weak_head_normal_form . weak_head_normal_form |=,WHNF WHNF
{
weak head normal form
WHNF

Weak Head Normal Form - We Love Haskell
https://www.opentutorials.org/course/2064/11208

Weak Head Normal Form
https://jwvg0425.github.io/haskell_whnf

xxx
https://en.wiktionary.org/wiki/weak_head_normal_form x 2023-12
} // .... weak head normal form .... weak head normal form weak head normal form

Greibach_normal_form =,Greibach_normal_form . Greibach_normal_form |=,GNF GNF
{
Greibach normal form
GNF
https://en.wikipedia.org/wiki/Greibach_normal_form
formal_language_theory / 형식언어,formal_language이론에서 context-free_grammar가 GNF라는 것은....
} // Greibach normal form .... Greibach normal form Greibach normal form Greibach normal form

Chomsky_normal_form =,Chomsky_normal_form . Chomsky_normal_form
{
Chomsky normal form
CNF (다만 conjunctive_normal_form 도 CNF)
https://en.wikipedia.org/wiki/Chomsky_normal_form
} // Chomsky normal form .... Chomsky normal form Chomsky normal form Chomsky normal form

Kuroda_normal_form =,Kuroda_normal_form . Kuroda_normal_form
{
Kuroda normal form

https://en.wikipedia.org/wiki/Kuroda_normal_form
formal_language_theory / 형식언어,formal_language이론에서 noncontracting_grammar{Noncontracting_grammar = https://en.wikipedia.org/wiki/Noncontracting_grammar }가 KNF 안에 있다(? "is in")는 것은, 모든 production_rule s 들이 다음 형식이라는것.....

https://en.wiktionary.org/wiki/Kuroda_normal_form x 2024-04
} // Kuroda normal form ... Kuroda normal form Kuroda normal form

Skolem_normal_form =,Skolem_normal_form . Skolem_normal_form (w)
{
Skolem normal form

Rel 스콜렘화,Skolemization Skolemized_form(w)

Named after Thoralf_Skolem { Thoralf Skolem 토랄프_스콜렘 https://en.wikipedia.org/wiki/Thoralf_Skolem }

https://ko.wikipedia.org/wiki/스콜렘_표준형
https://en.wikipedia.org/wiki/Skolem_normal_form
https://ja.wikipedia.org/wiki/スコーレム標準形

} // Skolem normal form .... Skolem normal form Skolem normal form

conjunctive_normal_form =,conjunctive_normal_form . conjunctive_normal_form |=,CNF CNF
{
conjunctive normal form
CNF

VG Srch : http://tomoyo.ivyro.net/123/wiki.php/FindPage?action=fullsearch&value=conjunctive_normal_form&context=20&case=1

Conjunctive Normal Form = https://foldoc.org/Conjunctive Normal Form

conjunctive_normal_form = https://en.wiktionary.org/wiki/conjunctive_normal_form

https://ko.wikipedia.org/wiki/논리곱_표준형

Conjunctive_normal_form = https://en.wikipedia.org/wiki/Conjunctive_normal_form

Boolean_logic 에서, 포뮬러,formula가 CNF라는 것은...
} // conjunctive normal form ... conjunctive normal form conjunctive normal form

disjunctive_normal_form =,disjunctive_normal_form . disjunctive_normal_form |=,DNF DNF
{
disjunctive normal form, DNF

Disjunctive Normal Form = https://foldoc.org/Disjunctive Normal Form
disjunctive_normal_form = https://en.wiktionary.org/wiki/disjunctive_normal_form
https://encyclopediaofmath.org/wiki/Disjunctive_normal_form
} // disjunctive normal form ... disjunctive normal form disjunctive normal form

}

REL

정규화,normalization