Wikipedia

「クリーネ閉包」の版間の差分

履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
WikitanvirBot (会話 | 投稿記録)
83,072 回編集
m r2.7.1) (ロボットによる 追加: ar:نجمة كليين
編集の要約なし
1行目:
'''クリーネ閉包'''（くりーねへいほう、{{lang-en-short|Kleene closure}}）または'''クリーネスター'''（{{lang-en-short|Kleene star}}）は、[[数理論理学形式言語]]およびと[[計算機科学オートマトン]]の概念で理論において、ある演算の繰り返しが「[[文字列生成 (数学)|生成]]の集合もしくは」するシンボル・ないし文字の列（[[文字列]]）の集合に対すである。また、この繰り返しの[[単項演算]]である。集合 ''V'' に対する子をクリーネ閉包の適用は、スター''V''*（{{lang-en-short|Kleene star}}）と表す。[[スティーヴン・コール・クリーネ]]がある種の[[オートマトン]]を特徴付けるために導入した方法である、[[正規表現]]でよく用いられるう。
 
集合 ''V'' に対するクリーネ閉包の適用は、''V''* と表す。[[スティーヴン・コール・クリーネ]]がある種の[[オートマトン]]を特徴付けるために導入した方法である、[[正規表現]]でよく用いられる。
# ''V'' が文字列の集合であるとき、''V''* は、空文字列 ε を含み、[[連結|文字列連結演算]]に閉じているような最小の集合と定義される。この集合は、別の書き方をすれば、''V'' に含まれるゼロ個以上の文字列を連結して作ることができるような文字列の集合である。
# ''V'' がシンボル・文字の集合であるとき、''V''* は、[[空文字列]]を含む ''V'' 上のあらゆる文字列の集合である。
「https://ja.wikipedia.org/wiki/クリーネ閉包」から取得