定理1.16
X⊆Σ＊が正則集合ならばXの商 x\X （x∈Σ＊）のうち相異なるものは有限個である。
証明略。
定理1.18
X∈Σ＊が正則集合ならば、任意の語zによるXの商z\Xは正則集合である。
証明略。
除算も基本的な演算の一つだ、ということを覚えておこう。
数学関連の話を書いていこうと思う。自習しながら。Webデザインやプログラミングをやりながら。
定理1.16
X⊆Σ＊が正則集合ならばXの商 x\X （x∈Σ＊）のうち相異なるものは有限個である。
証明略。
定理1.18
X∈Σ＊が正則集合ならば、任意の語zによるXの商z\Xは正則集合である。
証明略。
除算も基本的な演算の一つだ、ということを覚えておこう。