クリーネ代数
クリーネ代数（クリーネだいすう、英: Kleene algebra）は、冪等半環に反復を表す単項演算 ∗ {\displaystyle {}^{*}} を付加した代数的構造であり、正規表現・正則言語・有限オートマトン・二項関係・プログラム意味論に現れる反復的現象を統一的に記述する。 現代的定式化では、和 + {\displaystyle +} により誘導される自然半順序のもとで、星演算が特定の帰納法公理を満たす冪等半環として定義される。
クリーネ代数（クリーネだいすう、英: Kleene algebra）は、冪等半環に反復を表す単項演算 ∗ {\displaystyle {}^{*}} を付加した代数的構造であり、正規表現・正則言語・有限オートマトン・二項関係・プログラム意味論に現れる反復的現象を統一的に記述する。 現代的定式化では、和 + {\displaystyle +} により誘導される自然半順序のもとで、星演算が特定の帰納法公理を満たす冪等半環として定義される。
クリーネ代数（クリーネだいすう、英: Kleene algebra）は、冪等半環に反復を表す単項演算 ∗ {\displaystyle {}^{*}} を付加した代数的構造であり、正規表現・正則言語・有限オートマトン・二項関係・プログラム意味論に現れる反復的現象を統一的に記述する。 現代的定式化では、和 + {\displaystyle +} により誘導される自然半順序のもとで、星演算が特定の帰納法公理を満たす冪等半環として定義される。
出典: Wikipedia「クリーネ代数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky