以下のように定義される。ポップ動作を意味する。いうような規則になる。数式などはだいたい文脈自由言語である。正規言語としたとき、以下も全て文脈自由言語である(閉じている)。D}しかし、積集合や差集合に関しては閉じていない。これらの操作の具体的な内容については形式言語の情報工学的定義を参照されたい。積集合操作で閉じていないことの証明[編集]文脈自由言語は積集合において閉じていない。練習問題となっている。対して文脈自由言語の反復補題を用いることで、それが文脈自由言語でないことを示すことができる。決定性属性[編集]文脈自由言語についての以下の問題は決定不能である。?文脈自由言語についての以下の問題は決定可能である。?(メンバーシップ問題は多項式時間で決定可能である。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。