2010-04-15から1日間の記事一覧

正則言語の性質

正則言語が 集合和 補集合 共通部分 集合差 連接 閉包 の演算に関して閉じているということを示した。証明自体は簡単。これによりなかなかうれしい性質が得られる。証明のところでは、(NFAではなく)DFAの性質を使っているところがあったりもする。が、前回NF…