正則言語が 集合和 補集合 共通部分 集合差 連接 閉包 の演算に関して閉じているということを示した。証明自体は簡単。これによりなかなかうれしい性質が得られる。証明のところでは、(NFAではなく)DFAの性質を使っているところがあったりもする。が、前回NF…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。