オートマトン うさぎでもわかるオートマトンと言語理論 第08羽 総復習・正則言語の判定 こんにちは、ももやまです。 今回はとある言語が正則かどうかを判定する練習、および正則だった場合に決定性オートマトンを書く練習、および正則でない場合に証明を書く練習をする総復習問題を作成しました。 ぜひ練習にお使いください。 前回の記事（第07羽）はこちら！ www.momoyama-usagi.com （文... 2019年9月12日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第07羽 文脈自由文法 こんにちは、ももやまです。 今回はオートマトンと言語理論の中でも重要な文脈自由文法についてまとめていきたいと思います。 前回の記事の内容（Myhill-Nerodeの定理・正則ではない言語の証明法）はこちら↓ www.momoyama-usagi.com １．文脈自由文法とは 文脈自由文法は、以下の4つの要素で構成され... 2019年9月11日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第06羽 Myhill-Nerodeの定理・正則でない言語の証明法 記事修正履歴 9月23日：誤字・数式ミス修正、表現の微妙な修正をしました。指摘してくださった方、どうもありがとうございました！ こんにちは、ももやまです。 今までは決定性オートマトンを書いていくことを中心に説明していきました。 しかし今回は、いよいよみんなが(；´Д｀) うぅっ。。となる証明、具体的にはある言語が正... 2019年9月10日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第05羽 決定性オートマトンの最小化 こんにちは、ももやまです。 今回は決定性オートマトンを最小化する方法について説明していきたいと思います。 前回のオートマトン「第04羽」はこちら！↓ www.momoyama-usagi.com １．冗長な状態とは 例えば同じ操作*1を行う下のような2つの決定性オートマトンがあったとします。 このとき、下のオートマトン... 2019年9月8日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第04羽 言語の演算（後編） 連接・閉包 こんにちは、ももやまです。前回は言語の補集合、和、積、差を求め、決定性オートマトンで表す方法についてまとめましたね。 今回は言語の連接および閉包演算の結果を決定性オートマトンで表す方法についてまとめていきたいと思います。 前回の記事「言語の演算（前編）」はこちら！↓↓↓ www.momoyama-usagi.c... 2019年9月5日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第03羽 オートマトンの演算（前編） こんにちは、ももやまです。今回はオートマトンの演算についてまとめていきましょう。 皆さん、和集合、積集合、差集合については覚えていますか？もし忘れてしまった人はこちらから復習しましょう！（少しだけですが使います） www.momoyama-usagi.com 前回のオートマトン「第02羽」はこちら↓ www... 2019年9月2日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第02羽 非決定性オートマトン(NFA)の書き方・決定性オートマトン(DFA)への変換 こんにちは、ももやまです。 前回は決定性オートマトン(DFA)について説明しました。 今回は決定性ではないオートマトン、非決定性オートマトン(NFA)についてまとめていきたいと思います。 前回の決定性オートマトン（第01羽）についての記事はこちらから！ www.momoyama-usagi.com １．... 2019年8月28日 ももうさ
オートマトン うさぎでもわかるオートマトンと言語理論 第01羽 決定性オートマトン(DFA)とは こんにちは、ももやまです。今回からオートマトンについてのまとめも少しずつしていこうと思います。 ※注意 わかりやすく噛み砕いて説明しているため、厳密な定義と若干異なることを書いている可能性があります。ご了承ください。 １．決定性オートマトンの状態遷移図はすごろくや！ 決定性オートマトンと言われると皆さん少し... 2019年8月26日 ももうさ
計算機システム うさぎでもわかる計算機システム Part09 組み合わせ回路・順序回路 こんにちは、ももやまです。今回は組み合わせ回路、順序回路について代表的なパーツを紹介しながらまとめていきたいと思います。 １．組み合わせ回路 組み合わせ回路は、出力が現在の入力だけによって決まる回路です。言い換えると現在の入力以外（過去のの入力など）には出力は左右されません。 では、いくつか組み合わせ回路の例を... 2019年8月1日 ももうさ
C言語 C言語における文字（文字変数char）・文字列の表現（ASCIIコード表つき） こんにちは、ももやまです。今回は、C言語における文字列型についてのまとめを行います。 １．文字列型 char int型、double型、float型などは数字を記憶しておく変数でしたね。 しかし、数字以外に文字などを記憶しておきたいときがありますね。しかし計算機上では0,1の2進数以外ではデータを記録することができませ... 2019年7月31日 ももうさ
