Normal form (abstract rewriting)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Normal form (abstract rewriting)の意味・解説 

正規化 (項書き換え)

(Normal form (abstract rewriting) から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/21 15:36 UTC 版)

項書き換えなどにおいて正規化(せいきか、: normalization)とは、をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。ある項がそのような性質を持つこと指して「項が正規化する」(normalizing) あるいは「項が正規化可能である」(normalizable) ともいう。また、そのような操作の末に辿り着いたそれ以上書き換えできない項のことを正規形 (normal form) とよぶ。

概要

正規化と呼ばれる性質には、一般に弱正規化 (weak normalization, WN) と強正規化 (strong normalization, SN) と呼ばれる2つがあり、単に正規化と言った場合にどちらを意味するかは分野の慣習によって異なる。弱正規化とは、ある項が与えられたときに、うまく書き換えの手順を選べば何度かの書き換えの末にある正規形に辿り着くことができるような性質を表し、一方、強正規化は、どのように書き換えたとしてもいつかは正規形に到達するという性質を表す。明らかに、項が強正規化するなら弱正規化するが、逆は必ずしも成り立たない。

項書き換え系を計算として見たときには、強正規化は計算の停止性に対応し、ある種の「よい」性質とみなされることがある。例えば、型無しラムダ計算は強正規化しないが、単純型付きラムダ計算は強正規化する。

定義

項の集合 この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めていますプロジェクト:数学Portal:数学)。




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Normal form (abstract rewriting)」の関連用語

Normal form (abstract rewriting)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Normal form (abstract rewriting)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの正規化 (項書き換え) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS