情报数理学.pptVIP

更多资源 * 正規演算の優先順位 正規表現の演算記号に優先順位をつけることによって、 括弧を省略できる。 通常は、上のように優先順位があると考えて、 不必要な括弧は省略する。 * 例 アルファベット 上の正規表現を考える。 * 練習 このとき、 次の正規表現で表される言語に含まれる文字列を いくつか示し、その直感的な意味を述べよ。 アルファベットを とする。 （１） （２） （３） （４） （５） * 正規表現の応用 UNIXシェルでは、正規表現で引数を指定できる。 ただし、UNIXの正規表現は、UNIX独特のものなので注意する。 ＊：任意の文字列を表す。 ＋：一文字以上の文字列。 ： から までのいずれかの１文字 ： から までのいずれかの１文字 * 例 ~$ls *.c average.c hello.c sort.c sum.c ~$ls [ab]* average average.c ~$ls [h-s]*.c hello.c sort.c sum.c ~$ *.cは.cで終わる文字列。 （拡張子で区別すると、特定種類のファイルだけを指定できる。） [ab]*はaかbで始まる文字列。 （長いファイル名を一括して扱える。） [h-s]*.cはhからsのどれかの文字で始まり、.cで終わる文字列。 （組み合わせてファイルを絞り込める。） * 1－５．　拡張NFA DFA、NFA共に、入力記号１文字に対して、 １つの遷移を行っていた。 この制限を緩和した計算機モデルが考えられる。 拡張NFAとは、遷移のラベルとして正規表現を許す NFAである。 拡張NFA：Generalized Non-deterministic finite Automaton なのでGNFAと略する。 * GNFAの形式的定義 GNFAは、 の５項組 で与えられる。ここで、 １． は有限集合で、状態を表す。 ２． は有限集合で、入力記号の集合を表す。 　　は 　　　　　　　　　から への写像 で、状態遷移を表す。 を状態遷移関数という。 　　　ただし、　　　は　　　上の正規表現すべてからなる集合 　　　（　　上の正規言語）を表す。 ４． は、初期状態を表す。 ５． は受理状態を表す。 とする。 * GNFAの状態遷移図 1 このオートマトンの形式的定義（数学的定義）は、 であり、 は次の状態遷移表により定義される。 * 1 GNFAに関する注意 初期状態　　　には、他の状態からの遷移がない。 受理状態　　　からは、他の状態への遷移がない。 入ってくる矢印（アーク） が無い。 出て行く（アーク）が無い。 初期状態と、受理状態はそれぞれ１つづつしかない。 特に、受理状態が１つであることに注意する。 * 練習 言語 上の を受理する４状態の拡張NFAを状態遷移図と、 形式的定義の両方で示せ。 初一语文? 初一英语? 初一数学? 初一政治? 初一历史? 初一地理? 初一生物 * 2007年度情報数理学 * 履修にあたって 2007年度 大学院奇数セメスター（前期）開講 K336→大学院棟D４１６（次回から） 教室： 時限： 火曜日３時限（12:50－14:20） 担当 草苅良至 * 講義予定 ○計算機のいろいろな理論モデル ○計算の限界 ○問題の難しさ ○現実問題と計算 言語理論 計算量理論 アルゴリズム論 * 参考書 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.ヴィジラーニ著、浅