理学类情报数理学.pptVIP

理学类情报数理学 第一页，共四十二页，2022年，8月28日 2 履修にあたって 2007年度 大学院奇数セメスター（前期）開講 K336→大学院棟D４１６（次回から） 教室： 時限： 火曜日３時限（12:50－14:20） 担当 草苅良至 第二页，共四十二页，2022年，8月28日 3 講義予定 ○計算機のいろいろな理論モデル ○計算の限界 ○問題の難しさ ○現実問題と計算 言語理論 計算量理論 アルゴリズム論 第三页，共四十二页，2022年，8月28日 4 参考書 M.R. Garey and D.S.Johnson, Computers And Intractability:A guide to the Theoryof NP-Completeness, Freeman,1979,ISBN:0-7167-1045-5 岩間一雄、 「アルゴリズム理論入門」 昭晃堂、2001、ISBN：4-7856-3125-2 ホップクロフト、ウルマン、 「オートマトン・言語理論・計算論 I,II」 サイエンス社、1984,ISBN:4-7819-0374-6,4-7819-0432-7 M. Sipser著、 「計算理論の基礎」、 共立出版、1997,ISBN:4-320-02948-8 岩間一雄、 「オートマトン・言語と計算理論」 コロナ社、2003、ISBN：4-339-01821-X V.V.ヴィジラーニ著、浅野　孝夫訳、 「近似アルゴリズム」、 シュプリンガー・フェアラーク東京、２００２、 ISBN:4-431-70991-6 第四页，共四十二页，2022年，8月28日 5 １．オートマトンと正規表現 第五页，共四十二页，2022年，8月28日 6 1－1．有限オートマトン メモリがほとんどなく、 「はい」と「いいえ」しか答えられない計算機を考える。 1 0 1 1 1 0 入力テープ 自動機械 ランプ 入力テープを”一度だけ“走査したあと、 「はい」ならランプ点灯 「いいえ」ならランプ消灯。 このような自動機械を(有限）オートマトンという。 第六页，共四十二页，2022年，8月28日 7 テープ 有限 制御部 ヘッド 0 1 有限オートマトンの概略 入力テープ テープに書ける文字 オートマトンを定める要素 有限制御部 内部状態 初期状態 状態変化 受理かどうかの判断 第七页，共四十二页，2022年，8月28日 8 有限オートマトンの数学的定義 有限オートマトンは、 の５項組で与えられる。 ここで、 １． は有限集合で、状態を表す。 ２． は有限集合で、入力記号の集合を表す。 ３． は から への写像（ ）で、 状態遷移を表す。 を状態遷移関数という。 ４． は、初期状態を表す。 ５． は受理状態の集合を表す。 とする。 第八页，共四十二页，2022年，8月28日 9 有限オートマトンの図式表現（状態遷移図） 有限オートマトンは、状態遷移図で表現できる。 オートマトン例 0 0 1 1 このオートマトンの形式的定義（数学的定義）は、 であり、 は次の状態遷移表により定義される。 第九页，共四十二页，2022年，8月28日 10 練習 次のオートマトンの数学的表現を与えよ。 0 1 1 0 0 1 第十页，共四十二页，2022年，8月28日 11 1－2．言語 計算機が扱える対象は、{0,1}で表された数と考えがちである。 しかし、{0,1}の並びを一種の言語とみなすこともできる。 任意の有限集合をアルファベットという。 アルファベットの要素を文字という。 アルファベットの任意の列を文字列という。 文字列の集合を、（アルファベット上の）言語という。 ここで、計算機で扱える対象について再考する。 以下では、言語の数学的定義を与える。 第十一页，共四十二页，2022年，8月28日 12 言語の例1 アルファベット例： 上の文字列例： book a aa ab 上の言語例： 第十二页，共四十二页，2022年，8月28日 13 言語の例2 アルファベット例： 上の文字列例： 0 00 001 上の言語例： 第十三页，共四十二页，2022年，8月28日 14 言語に関する諸概念１ ここでは、文字列に関する諸概念の定義を与える。 文字列wに含まれる文字数を、文字列wの長さといい、 文字列の長さ： という記号で表す。 空列： 長さが0の文字列を空列といい、記号 で表す。