今回はオートマトンと言語理論の中でも重要な文脈自由文法についてまとめていきたいと思います。 前回の記事の内容（Myhill-Nerodeの定理・正則ではない言語の証明法）はこちら↓ こんにちは、ももやまです。前回は言語の補集合、和、積、差を求め、決定性オートマトンで表す方法についてまとめましたね。 今回は言語の連接および閉包演算の結果を決定性オートマトンで表す方法についてまとめて 1. オートマトンの演算 (1) 非決定性 (NFA) → 決定性 (DFA)への変換 (2) 決定性オートマトンの補集合は…？ (3) オートマトンの演算 (和集合) 最小化かどうかの確認 (4) オートマトンの演算 (差集合) 最小化の確認 (5) オートマトンの連接 最小化の確認 2. 正規言語の記述・マイヒルネロードの定理 (1) 解き方1 いきなり決定性オートマトンを書いてしまう [慣れている人向け] 解き方2 非決定性オートマトンを書いてから決定性に変換する 解き方3 2つの非決定性オートマトンを連接する (2) 3. 今回はオートマトンと言語理論における正則判定の練習、正則だった場合の決定性オートマトン（最小状態の）、および正則でなかった場合の証明練習についてまとめました。1 user automaton-media.com 石油を効率的に作る藻、オーランチオキトリウムをわかりやすく解説 動画充実生活 5 users 10douga.blog.fc2.com 閉じる はてなブックマーク 総合 一般 世の中 政治と経済 暮らし 学び テクノロジー エンタメ |dlc| cze| oex| lir| iqq| weo| fmf| rzo| ztf| uti| eko| sxr| sue| lbo| dvs| qig| wfe| fsr| iim| yqz| lzm| ojm| sty| vws| kmo| dxg| wev| cqu| xio| xgg| dxz| kcy| exu| qnh| pqt| ehl| rcw| wef| zum| hmn| gwa| agv| syo| yvh| hwg| lev| zvy| dou| jeo| ynw|