1-3.正則集合 その4

定理1.16
X⊆Σが正則集合ならばXの商 x\X (x∈Σ)のうち相異なるものは有限個である。

 証明略。

定理1.18
X∈Σが正則集合ならば、任意の語zによるXの商z\Xは正則集合である。

 証明略。

 除算も基本的な演算の一つだ、ということを覚えておこう。


Want to Leave a Reply?