bn:03293516n
Noun Concept
Categories: 数学に関する記事
JA
正規化
JA
項書き換えなどにおいて正規化(せいきか、英: normalization)とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。 Wikipedia
English:
abstract rewriting
formal languages
term rewriting
Definitions
Sources
JA
項書き換えなどにおいて正規化(せいきか、英: normalization)とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。 Wikipedia