Rational set とは

コンピュータ科学、より正確にはオートマトン理論では、合理的なモノローズ集合は、すべての有限集合を含み、集合、生成物、およびクレーネ星の下で閉じられているこのモノイドの部分集合の最小クラスの要素である。 Rationalの集合は、オートマトン理論、形式言語および代数において有用である。
合理的な集合は、合理的(規則的)な言語(正規表現によって定義されると理解される)の概念を、必ずしも自由ではないモノイドに一般化する。