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