ISSN: 1314-3344
ムハンマド・シャビールとタヒル・マフムード
結合環や分配束を一般化する構造は数多くあるが、その中で最も有名なのは半環(または半環)と近似環である。半環は、数学や情報科学のさまざまな分野の多くの問題を解決するのに非常に有用であることが証明されている。それらのいくつかは、最適化理論、グラフ理論、離散事象力学系の理論、一般化ファジー計算、オートマトン理論、形式言語理論、符号理論、コンピュータプログラムの解析などである([1, 6, 7, 8, 16]を参照)。半環は、1934年にHS Vandiverによって導入された[24]。可換加法と加法恒等式を持つ半環は、ヘミリングと呼ばれる。