こんにちは、ももやまです。 ほとんどの人がオートマトンという言葉を大学入学前に聞いたことはないと思います。大学などの授業で初めてオートマトンを習うとき、初めての概念で不安になってしまう人も多いと思います。 そこで今回は、オートマトンと言語理論ってどんなことを習うのかについてを簡単にですがダイジェスト方式でまとめていきた...

こんにちは、ももやまです。 今回はとある言語が正則かどうかを判定する練習、および正則だった場合に決定性オートマトンを書く練習、および正則でない場合に証明を書く練習をする総復習問題を作成しました。   ぜひ練習にお使いください。     前回の記事（第07羽）はこちら！ www.momoyama-usagi.com （文...

こんにちは、ももやまです。 今回はオートマトンと言語理論の中でも重要な文脈自由文法についてまとめていきたいと思います。 前回の記事の内容（Myhill-Nerodeの定理・正則ではない言語の証明法）はこちら↓ www.momoyama-usagi.com １．文脈自由文法とは 文脈自由文法は、以下の4つの要素で構成され...

記事修正履歴 9月23日：誤字・数式ミス修正、表現の微妙な修正をしました。指摘してくださった方、どうもありがとうございました！   こんにちは、ももやまです。 今までは決定性オートマトンを書いていくことを中心に説明していきました。 しかし今回は、いよいよみんなが(；´Д｀) うぅっ。。となる証明、具体的にはある言語が正...

こんにちは、ももやまです。 今回は決定性オートマトンを最小化する方法について説明していきたいと思います。 前回のオートマトン「第04羽」はこちら！↓ www.momoyama-usagi.com １．冗長な状態とは 例えば同じ操作*1を行う下のような2つの決定性オートマトンがあったとします。 このとき、下のオートマトン...

こんにちは、ももやまです。前回は言語の補集合、和、積、差を求め、決定性オートマトンで表す方法についてまとめましたね。 今回は言語の連接および閉包演算の結果を決定性オートマトンで表す方法についてまとめていきたいと思います。     前回の記事「言語の演算（前編）」はこちら！↓↓↓ www.momoyama-usagi.c...

こんにちは、ももやまです。今回はオートマトンの演算についてまとめていきましょう。     皆さん、和集合、積集合、差集合については覚えていますか？もし忘れてしまった人はこちらから復習しましょう！（少しだけですが使います） www.momoyama-usagi.com   前回のオートマトン「第02羽」はこちら↓ www...

皆さんこんにちは！ つるお です。この記事では、ももやまと代わって私が担当します。 以前の記事で、LINE Pay VISAクレジットカードに求めることを書きましたが、ついに事前登録開始！と思ったら、事前案内の事前登録が開始されました。 https://www.tsuruo5388.jp/note-linepay-vi...

こんにちは、ももやまです。 前回は決定性オートマトン(DFA)について説明しました。   今回は決定性ではないオートマトン、非決定性オートマトン(NFA)についてまとめていきたいと思います。   前回の決定性オートマトン（第01羽）についての記事はこちらから！ www.momoyama-usagi.com     １．...

こんにちは、ももやまです。今回からオートマトンについてのまとめも少しずつしていこうと思います。   ※注意 わかりやすく噛み砕いて説明しているため、厳密な定義と若干異なることを書いている可能性があります。ご了承ください。     １．決定性オートマトンの状態遷移図はすごろくや！ 決定性オートマトンと言われると皆さん少し...