計算の理論i－数学的概念と記法－.pptVIP

平成15年7月14日 佐賀大学知能情報システム学科 計算の理論 I反復補題 月曜３校時 大月 美佳 今日の講義内容 反復補題 正則表現かどうか 素数の例：教科書 ほか例 連絡事項 レポート回収 講義終了時に回収 配点：100点中20点 16日は講義 14回目で必須 試験について 試験日は28日 反復補題 別名 ポンプの定理 (pumping lemma) 何がしたいのか(p. 140 4.1.2) 何か言語が与えられたとき、正則でないことを示す。 正則でない言語 例1: 0が２乗の個数であるような記号列の集合 例2: 0と1の記号列を２進数とみたとき、素数であるような記号列の集合 教科書の例： p. 143 例4.3 正則言語に対する反復補題 (p.140 定理4.1) 正則集合Lに対して次の条件を満たす定数nが存在する。 zがLに属する語で|z|≧nならば、適当な語u, v, wを選んで、 を満たすようにすることができる。このnは、Lを受理する最小の（すなわち状態数が最も少ない）FAの状態数を超えない。 鳩の巣原理？ n個の巣箱にn+1羽の鳩 →どこかひとつの巣箱には2羽の鳩が… 正則でないことの示し方（背理法） 正則でないことを示す対象言語：L Lに対して補題の性質をもつ数nを仮定する（敵の仮定）。仮定後変更してはならない。 Lの元zをひとつ決める( |z|≧n) 。 z を、|uv|≦nかつ|v|≧1であるようなu, v, w に分解する（敵の作業） がLに入らないようなiを指摘する。どのようなnに対してもこれを示す。 例1Step 1 調べたい言語 L 0の列で、長さが完全平方数であるものの全体 0, 0000, 000000000, 0000000000000000, … Step 2～4 補題の性質をもつnを仮定 z を |uv|≦nかつ|v|≧1であるようなu, v, w に分解したとする。このzは、 Step 5 i=2のとき、 これは完全平方数ではなく、Lに含まれない。これは矛盾。 よってLは正則ではない。 レポート回収と次回内容 レポート回収 出席チェックを兼ねる （忘れた人は申し出よ） 出したら帰って良し 次回(7/16)内容 試験について 平成15年7月14日 佐賀大学知能情報システム学科 * 平成15年7月14日 佐賀大学知能情報システム学科 * … … 1の2乗 2の2乗 3の2乗 4の2乗 平成15年7月14日 佐賀大学知能情報システム学科 *