Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え
能書き(のうがき)とは、元々は薬の効能などを説明し書き記した「効能書き」から由来する。 医師から薬が処方され様々な効果・効能を説明されても、実際には効果が全くないことを捉え、その事を揶揄し意味が転じて、効果があると吹聴する事、口ばかりで実がない・行動が伴わないこと、自己宣伝のために優れた点を述べ立て
(1)することができること。 ありうること。 また, そのさま。
自己書き換えコード(じこかきかえコード、英: self-modifying code)とは、目的を問わず実行時に自分自身の命令を書き換えるコードを指す。 自己書き換えコードはアセンブリ言語を使用すると簡単に記述できる(CPUのキャッシュを考慮する必要がある)。
〔動詞「かえる(替)」の連用形から〕
×) は群であり、乗法群と呼ばれる。K の乗法群をしばしば K× とも記し、Gm(K) と記されることもある。体 K の乗法群の任意の有限部分群は巡回群である。 体の元の濃度を位数といい、有限な位数を持つ体を有限体と呼び、そうでない体を無限体と呼ぶ。有限斜体は常に可換体である(ウェダバーンの小定理)。
数学、特に抽象代数学の一分野である環論における可換環(かかんかん、英: commutative ring)は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域
文字列書き換え系(英: String rewriting system)は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。 文字列書き換え系の基本的形式は項書き換え系と本質的に等価である。あるアルファベット A