閉包属性とは? わかりやすく解説

閉包属性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/29 04:57 UTC 版)

帰納言語」の記事における「閉包属性」の解説

帰納言語は以下の操作について閉じている。すなわち、L と P を2つ帰納言語としたとき、以下の言語同様に帰納言語である。 Lのクリーネ閉包 Lの準同型写像 φ(L) L と P の連結 和集合 共通部分 L の補集合 差集合 最後属性は、差集合和集合共通部分から求められることから導出される。

※この「閉包属性」の解説は、「帰納言語」の解説の一部です。
「閉包属性」を含む「帰納言語」の記事については、「帰納言語」の概要を参照ください。


閉包属性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/29 04:58 UTC 版)

帰納的可算言語」の記事における「閉包属性」の解説

帰納的可算言語は以下の操作について閉じている。すなわち、L と P を2つ帰納的可算言語としたとき、以下の言語同様に帰納的可算言語である。 L のクリーネ閉包 L と P の連結 和集合 共通部分 帰納的可算言語差集合補集合操作について閉じていない。差集合 L\P や L の補集合帰納的可算言語となる場合もあるし、ならない場合もある。

※この「閉包属性」の解説は、「帰納的可算言語」の解説の一部です。
「閉包属性」を含む「帰納的可算言語」の記事については、「帰納的可算言語」の概要を参照ください。


閉包属性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/03/10 07:44 UTC 版)

文脈自由言語」の記事における「閉包属性」の解説

L と P を文脈自由言語、D を正規言語としたとき、以下も全て文脈自由言語である(閉じている)。 L のクリーネ閉包 L ∗ {\displaystyle L^{*}} L の準同型 φ(L) L と P の連結 L ∘ P {\displaystyle L\circ P} L と P の和集合 L ∪ P {\displaystyle L\cup P} L と(正規言語) D の積集合 L ∩ D {\displaystyle L\cap D} しかし、積集合差集合に関して閉じていない。これらの操作具体的な内容については形式言語情報工学的定義を参照されたい。

※この「閉包属性」の解説は、「文脈自由言語」の解説の一部です。
「閉包属性」を含む「文脈自由言語」の記事については、「文脈自由言語」の概要を参照ください。


閉包属性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/07 15:06 UTC 版)

正規言語」の記事における「閉包属性」の解説

正規言語に対して和集合積集合差集合といった演算施した結果正規言語である。正規言語補集合文字セットから生成される全文字列を全体集合とする)も正規言語である。正規言語文字列全て逆転させたものも正規言語である。正規言語連結(ふたつの言語含まれる文字列あらゆる組み合わせ連結した文字列集合)をしたもの正規言語である。「シャッフル」をふたつの正規言語施した結果正規言語である。正規言語任意の言語商集合正規言語である。個々操作具体的意味については形式言語#定義を参照されたい。

※この「閉包属性」の解説は、「正規言語」の解説の一部です。
「閉包属性」を含む「正規言語」の記事については、「正規言語」の概要を参照ください。

ウィキペディア小見出し辞書の「閉包属性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「閉包属性」の関連用語

閉包属性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



閉包属性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの帰納言語 (改訂履歴)、帰納的可算言語 (改訂履歴)、文脈自由言語 (改訂履歴)、正規言語 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS