東京工科大学 コンピュータサイエンス学部 亀田弘之

Slides:



Advertisements
Similar presentations
プログラミング言語論 第3回 BNF 記法について(演習付き) 篠埜 功. 構文の記述 プログラミング言語の構文はどのように定式化できるか? 例1 : for ループの中に for ループが書ける。 for (i=0; i
Advertisements

自然言語処理 平成 24 年 11 月 5 日 (No5)- 東京工科大学 コンピュータサイエンス学部 亀田弘之.
和田俊和 資料保存場所 /2/26 文法と言語 ー正規表現とオートマトンー 和田俊和 資料保存場所
プログラミング言語論 第10回(演習) 情報工学科 木村昌臣   篠埜 功.
自然言語処理:第3回 1.前回の確認 2.構文解析 3.格文法.
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
言語体系とコンピュータ 第6回.
一致の非対称の 極小理論的分析 小林 亜希子 島根大学 「言語と情報研究プロジェクト研究会:言語理論の動向を考える」 広島大学
情報とコンピュータ 静岡大学工学部 安藤和敏
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン2013 第1回目 -Formal Languages & Automata-
言語処理系(5) 金子敬一.
言語プロセッサ ー第8回目ー.
コンパイラ 2012年10月22日
言語プロセッサ2013 ー 第7回目 ー Tokyo University of Technology
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
コンパイラ 2011年10月24日
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン2011 第1回目 -Formal Languages & Automata-
形式言語とオートマトン Formal Languages and Automata 第4日目
形式言語とオートマトン Formal Languages and Automata 第4日目
プログラミング言語論 第3回 BNF記法について(演習付き)
東京工科大学 コンピュータサイエンス学部 亀田弘之
人工知能特論II 第2回 二宮 崇.
正則言語 2011/6/27.
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語の理論 5. 文脈依存言語.
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン2016 ~第10日目(形式文法2回目)~
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン Formal Languages and Automata 第4日目
自然言語処理2016 -平成28年11月7日・14日(No.6&7)-
東京工科大学 コンピュータサイエンス学部 亀田弘之
言語プロセッサ2012 ー 第6回目 ー Tokyo University of technology
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
平成20年10月5日(月) 東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 担当教員:亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン2017 ~第10日目(形式文法2回目)~
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
平成26年4月22日(火) 東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
自然言語処理2015 Natural Language Processing 2015
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
情報とコンピュータ 静岡大学工学部 安藤和敏
形式言語とオートマトン Formal Languages and Automata 第5日目
東京工科大学 コンピュータサイエンス学部 亀田弘之
自然言語処理2016 Natural Language Processing 2016
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
東京工科大学 コンピュータサイエンス学部 亀田弘之
Presentation transcript:

東京工科大学 コンピュータサイエンス学部 亀田弘之 形式言語とオートマトン2013 ー第10日目ー 今日から 形式言語の話です! 東京工科大学 コンピュータサイエンス学部 亀田弘之 後半戦も 頑張るぞ!

Copyright©2013 Tokyo University of technology 形式文法と形式言語 形式文法(formal grammars) 形式言語(formal languages) 2013年のbaccalauréat(フランスの国家資格の1つで,大学入学のためのもの)の哲学の試験問題の1つは,「言語は道具でしかないのか?(“Le langage n‘est-il qu’un outil ?”)」でした。皆さんはどう答えますか? Copyright©2013 Tokyo University of technology

形式言語とオートマトン Formal Languages and Automata 平成25年度開講科目 第2部 以前使ったパワーポイントです。 今度は詳細にわたり理解しましょう。

文法とは? その言語を使用する人たちが皆で守り従わなければならない言語に関する規則の総体。

もう少し細かく見ると... 文法は「言語政策」・「言語教育」のために 重要。 現在使われている日本語に関する言語規則はどうなっているのか? このような観点から本授業では文法を考える。 文法は、機械翻訳,電話通訳,データマイニング(Webマイニング,評判分析等),さらには要求工学等の分野でも極めて重要である。

さらに一歩考えをすすめて... 「あらゆる言語に共通の言語規則はあるのだろうか? あるんだ!」と考えるのが、 「一般普遍文法(universal grammar)」である。 これについて、少し詳しく話すと...

例えば、“これは何?”の答え これは本です。 This is a book. (英語) Das ist ein Buch. (独語) C’est un livre. (仏語) Ειναι ενα βιβλιο. (希語) 这是一本书。 (中国語) Ini buku. (マレー語) هذا هو الكتاب (アラビア語) <= correct?

一般普遍文法(1) オートマトンの説明を思い起こすと… すべての子供はやがて言葉を話しはじめる。 日本人のこどもも、エスキモーのこどもも、 サウジアラビアのこどもも… 人種・民族にかかわらず話し始める。 でも、日本人は日本語、エスキモー人はエスキモー語をしゃべり始める。Why?

Because… その言語をしゃべる環境で育ったから? 環境が習得言語を決める? でも、なぜ基本的に人は皆しゃべり始めるの? ミミズはしゃべらないのに?(ホント?) それは、... (参考図書)“Animal Nature and Human Nature,” William Homan Thorpe (1974).

すべてのヒトは、 言語に依存しない普遍的な処理能力をもった 装置(device)を生得的に持っており、 ホントにしゃべれるようになるのかなぁ すべてのヒトは、 言語に依存しない普遍的な処理能力をもった 装置(device)を生得的に持っており、 個別言語に関する知識は後天的に獲得されるからだ。 これが私の 基本的考えです。 僕にもこんな装置がほしいなぁ…

その知識は、「文法」という形で獲得される。 Chomskyはそのように考えた。 それでは彼の考えを見てみよう。

ここからが大切 (注)言語認識装置としてのオートマトンを知っているとの立場で、さらに言語・文法について理解を深めよう!

文法の定義 文法G=( Vn, Vt, P, S ): ただし、 Vn: 非終端記号の集合 Vt: 終端記号の集合 P: 書き換え規則の集合

文法 文法G=( Vn, Vt, P, S ): ただし、 Vn: 非終端記号の集合 <= 構文木構成要素の集合

例1-1 G=(Vn, Vt, P, S) Vn = { S, NPs, NPo, VP, PN, DET, N, V } Vt = { I, You, have, throw, a, the, book, ball } P = { ①:S → NPs VP, ②:NPs → PN, ③:PN → I, ④:PN → You, ⑤:NPo → DET N, ⑥:VP → V NPo, ⑦:DET → a, ⑧:DET → the, ⑨:N → book, ⑩:N → ball, ⑪:V → have, ⑫:V → throw }

言語の定義 言語Lとは、文法Gにより生成される あらゆる文の集合のこと。 つまり、L=L(G)。

文法の分類 文法にはいくつかの種類がある。 それに応じて、処理装置・処理方法が 異なってくる。

ここまでのまとめ 文法 : G=( Vn, Vt, P, S ): 言語 :L=L(G) ただし、

例1 (抽象的な話は、具体例を通じて理解するのがコツです。)

例1 文法 : G=( Vn, Vt, P, S ): 言語 :L=L(G)は具体的にどうなる? ただし、 Vn={ A, B } P={ A→0A1, A →B, B →# } S={ A } 言語 :L=L(G)は具体的にどうなる?

A ⇒ 0A1 ⇒00A11 ⇒000A111 ⇒ 000B111 ⇒ 000#111

例2 文法 : G=( Vn, Vt, P, S ): 言語 :L=L(G)は具体的にどうなる? ただし、 Vt={ a, the, boy, girl, flower, touches, likes, sees, with } P:次のページ参照 S={ 文 } 言語 :L=L(G)は具体的にどうなる?

P={ 文→ 名詞句 動詞句 名詞句→ 複合名詞|複合名詞 前置詞句 動詞句→ 複合動詞|複合動詞 前置詞句 前置詞句→ 前置詞 複合名詞 複合名詞→ 冠詞 名詞 複合動詞→ 動詞|動詞 名詞句 冠詞→ a | the 名詞→ boy | girl | flower 動詞→ touches | likes | sees 前置詞→ with }

言語の構成要素(=文)の例 a boy sees the boy sees a flower a girl with a flower likes the boy など 問:これらの導出過程を示せ。    文⇒名詞句 動詞句      ⇒ …

例3 文法 : G=( Vn, Vt, P, S ): 言語 :L=L(G)は具体的にどうなる? ただし、 Vn={ E, T, F } Vt={ a, +, ×, (, ) } P={ E→E+T | T T →T×F | F F →( E ) | a } S={ E } 言語 :L=L(G)は具体的にどうなる?

問 a+a×a の導出木を示せ。 (a+a)×a の導出木を示せ。

例4 P={ E → E+E | E×E | ( E ) | a } 曖昧な文法

話しはここまでとしましょう。 言語というと、日本語・英語といったものを考えがちですが、JavaやCも(形式)言語です。

今日の課題 同値関係が満たすべき性質は3つある。 次のどれか? ①反射性( ) ②対称性( ) ③推移性( ) ④継承性 ⑤準同型性( )