Myhill Nerode ネローデ RL 同値 オートマトン theorem 文字列 定理 受容 ヒル 正規 従って マイ 有限 結論 言語 最小 愛媛 榴弾砲 大奈路 しまんと 事 s 興津 町 十川 毎 市 ステージ 空港 発 観光 作品 万 開発 自 八 後部 県 十 S2 中学校 部 ゲーム NOVA2001 分 経 輪 霊