#noindex
## =노멀폼,normal_form =,normal_form 노멀폼 normal_form |=,NF NF
'''normal form, NF'''
번역이 '''정규형([[정규형normal_form]]) 표준형 정규형식 표준형식'''등으로 다양하며, TBD. 분명 넷 중 하나로 결정될듯. 여기는 TemporaryPageName.
[[Date(2024-04-06T20:12:47)]] 지금까지의 vg page names에 맞추자면 [[정규형식,normal_form]]이 제일 유력. regular/normal은 정규, canonical은 정준, standard는 표준, 으로 통일하는게 어떨지....

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

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

[[WtEn:normal_form]]
= https://en.wiktionary.org/wiki/normal_form

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

[[prenex_normal_form]] =,prenex_normal_form . prenex_normal_form |=,PNF PNF
{
'''prenex normal form'''
프레넥스 ?
 WtEn:prenex
 NN:prenex
 NdEn:prenex

https://ko.wikipedia.org/wiki/프리넥스_표준형

[[WtEn:prenex_normal_form]]
= https://en.wiktionary.org/wiki/prenex_normal_form

WpEn:Prenex_normal_form ?

} // prenex normal form .... Ggl:"prenex normal form" Bing:"prenex normal form"

[[Smith_normal_form]] =,Smith_normal_form . Smith_normal_form |=,SNF SNF
{
스미스 표준형 (Smith normal form)
WtEn:Smith_normal_form ?
WpEn:Smith_normal_form ?
[[MathNote:스미스_표준형_(Smith_normal_form)]] = http://wiki.mathnt.net/index.php?title=스미스_표준형_(Smith_normal_form)
정수행렬에 대한 normal form. 여러 분야에서 활용한다고.
}// Smith normal form ... Ggl:"Smith normal form" Bing:"Smith normal form" NN:"Smith normal form" Naver:"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
 ...
 WtEn:WHNF ?? ddddddddddddwwwwwwwwwww
 WpEn:WHNF ?

} // .... weak head normal form .... Ggl:"weak head normal form" Ndict:"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 .... Naver:"Greibach normal form" Bing:"Greibach normal form" Ggl:"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 .... NN:"Chomsky normal form" Bing:"Chomsky normal form" Ggl:"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]]{[[WpEn: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 ... Bing:"Kuroda normal form" Ggl:"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 WpKo:토랄프_스콜렘 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 .... Bing:"Skolem normal form" Ggl:"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

[[WtEn:conjunctive_normal_form]] = https://en.wiktionary.org/wiki/conjunctive_normal_form
https://ko.wikipedia.org/wiki/논리곱_표준형
[[WpEn:Conjunctive_normal_form]] = https://en.wikipedia.org/wiki/Conjunctive_normal_form
Boolean_logic 에서, [[포뮬러,formula]]가 CNF라는 것은...
 (첫문단 "In [Boolean_logic], a formula is in '''conjunctive normal form (CNF) or clausal normal form'''
 if it is a conjunction of one or more clauses,
 where a clause is a disjunction of literals;
 otherwise put,
 it is a product of sums or an AND of ORs.
 As a canonical_normal_form, it is useful in automated theorem proving and circuit theory." [[Date(2023-12-04T14:15:15)]])

} // conjunctive normal form ... Ggl:"conjunctive normal form" Ndict:"conjunctive normal form"


[[disjunctive_normal_form]] =,disjunctive_normal_form . disjunctive_normal_form |=,DNF DNF
{
'''disjunctive normal form'''
DNF

[[WtEn:disjunctive_normal_form]] = nnnnnnnnnnfffffffffff
https://encyclopediaofmath.org/wiki/Disjunctive_normal_form
} // disjunctive normal form ... Ggl:"disjunctive normal form" Ndict:"disjunctive normal form"

}
----
REL

[[정규화,normalization]]
----
<<tableofcontents>>
= Database의 normal forms: 1NF 2NF ... BCNF ... =
[[database]]
DB에선 대체로 정규형 으로 번역하는 듯

이미 있던 페이지: [[정규형normal_form]]

https://en.wiktionary.org/wiki/fifth_normal_form

= clausal * =
clausal normal form
WtEn:clausal_normal_form
= https://en.wiktionary.org/wiki/clausal_normal_form
 "synonym of conjunctive_normal_form"

= Game theory의 normal form =
[[게임이론,game_theory]]

= autogeninterwikis =
KmsE:"normal form"
KpsE:"normal form"
KcsE:"normal form"
WtEn:normal_form

Zeta:
Libre:
Namu:
WpKo:

MathWorld:NormalForm

WpSp:Normal_form
WpEn:Normal_form

WpJa:

http://www.gabormelli.com/RKB/Normal_form

...
정규형
표준형
정규형식
표준형식
"normal form"

Ndict:"normal form"
Naver:"normal form"
Ggl:"normal form"
Bing:"normal form"

= MKL =
== canonical form ==
[[canonical_form]] WtEn:canonical_form 과 정확히

"canonical form normal form"
Ggl:"canonical form normal form"
Naver:"canonical form normal form"

= wikiadmin =
[[Date(2023-12-04T14:15:15)]] Page name via normal-노멀, form-폼 (kornorms)