1 / 28

形式言語 と オートマトン

形式言語 と オートマトン. 第 7 回 鳥取大学工学研究科 情報エレクトロニクス 専攻 田中美栄子. 本日 の予定. NPDA の復習 DpdA と NPDA 非同等性 オートマトンの復習. 形式言語とオートマトン. NPDA の復習. 形式言語とオートマトン. 例 3.2. 例 3.2. 状態遷移図を構成して見よう. 形式言語とオートマトン. 例 3.2. 形式言語とオートマトン. 例 3.2. 形式言語とオートマトン. 例 3.2. 形式言語とオートマトン. 例 3.2. 形式言語とオートマトン. 例 3.2.

gaetan
Download Presentation

形式言語 と オートマトン

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 形式言語 とオートマトン 第7回 鳥取大学工学研究科 情報エレクトロニクス専攻 田中美栄子

  2. 本日の予定 • NPDAの復習 • DpdAとNPDA非同等性 • オートマトンの復習 形式言語とオートマトン

  3. NPDAの復習 形式言語とオートマトン

  4. 例 3.2

  5. 例 3.2 状態遷移図を構成して見よう 形式言語とオートマトン

  6. 例 3.2 形式言語とオートマトン

  7. 例 3.2 形式言語とオートマトン

  8. 例 3.2 形式言語とオートマトン

  9. 例 3.2 形式言語とオートマトン

  10. 例 3.2 形式言語とオートマトン

  11. 例 3.2 形式言語とオートマトン

  12. 例 3.2 　 を受理できるか？ $ 受理 形式言語とオートマトン

  13. 例 3.2 を受理できるか？ $ 受理 形式言語とオートマトン

  14. NEW DPDAとNPDAの非同等性 • 有限オートマトンの場合，DFAとNFAは同等であり，つまり，言語の識別能力は差がなかった • しかし，PDAにおいては，NPDAとNPDAには真に識別能力の差がある 例3.3と3.4 形式言語とオートマトン

  15. 例 3.3 DPDA を受理できるか？ 受理 空

  16. 例 3.3 DPDA を受理できるか？ 受理 • 記号#を見たときに状態をからに遷移する • つまり，このDPDAは#がない言語を受理できない

  17. 例 3.4 NPDA を受理できるか？ 受理 空

  18. 例 3.4 NPDA を受理できるか？ 受理 • このNPDAは#がない言語を受理できる

  19. 非決定性PDAで判別できる入力 • 真ん中に#を入れない場合でも、 NPDAなら判別できる • これはDPDAにはない能力である 形式言語とオートマトン

  20. オートマトンを復習 形式言語とオートマトン

  21. オートマトンは計算機のモデル オートマトン は 計算機のモデル 形式言語とオートマトン

  22. オートマトン 易 + + DFA DPDA NFA NPDA FSA PDA 学んだこと LBA TM 難 形式言語とオートマトン

  23. オートマトン + + DF DPDA NFA NPDA 形式言語とオートマトン

  24. 練習 問1：下図の様相を示してください … 有限制御部 状態 形式言語とオートマトン

  25. 練習 問2：下図の様相を示してください … 有限制御部 状態 形式言語とオートマトン

  26. 問3：次の7字組で表されるDPDNに、入力aabbbbを読み込ませた場合、様相変化を示せ。受理するか、受理しないかも示すこと問3：次の7字組で表されるDPDNに、入力aabbbbを読み込ませた場合、様相変化を示せ。受理するか、受理しないかも示すこと

  27. 練習 M M M M M M M 問3のAnswer 受理する を忘れずに，最後にを忘れずに！！！ 形式言語とオートマトン

  28. お疲れ様 　　　　　小テストです 形式言語とオートマトン

More Related