文脈自由言語
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}
しかし、積集合や差集合に関しては閉じていない。これらの操作の具体的な内容については形式言語の情報工学的定義を参照されたい。