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