1 / 69

形式言語 と オートマトン

形式言語 と オートマトン. 第 7 回 鳥取大学工学研究科 情報エレクトロニクス 専攻 田中美栄子. 1. 本日 の予定. プッシュダウンオートマトン のにつ いて学ぶ. 形式言語とオートマトン. 1. 本日 の予定１. 決定性 プッシュダウンオートマトン. 形式言語とオートマトン. 1. 決定的プッシュダウンオートマトン とは？. 有限オートマトン 　＋　 プッシュダウンスタック →　 プッシュダウンオートマトン (PDA) (FSA のような 単純な装置では扱えない 入力の判断を扱える ). プッシュダウンスタック. プッシュダウン.

inoke
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. 1 本日の予定 プッシュダウンオートマトン のについて学ぶ 形式言語とオートマトン

  3. 1 本日の予定１ 決定性 プッシュダウンオートマトン 形式言語とオートマトン

  4. 1 決定的プッシュダウンオートマトンとは？ 有限オートマトン　＋　プッシュダウンスタック →　プッシュダウンオートマトン(PDA) (FSAのような単純な装置では扱えない入力の判断を扱える) プッシュダウンスタック プッシュダウン ポップアップ 後入れ先出し(LIFO:Last-In First-Out) 方式の記憶装置 形式言語とオートマトン

  5. 状態の有限集合 が定義されているときは， 入力記号の有限集合 どの に対しても， プッシュダウン記号の有限集合 は定義されていない。 （動作の決定性が保証される。） 動作関数 初期状態 ボトムマーカー 受理状態の有限集合 決定性プッシュダウンオートマトン

  6. のとき 決定性プッシュダウンオートマトンの １ステップの動作（１） … 有限制御部 状態

  7. … 有限制御部 に遷移する。 状態

  8. のとき 決定性プッシュダウンオートマトンの １ステップの動作（２） … 有限制御部 状態

  9. … 有限制御部 状態

  10. 初期様相 … 有限制御部 状態

  11. 次の様相 … 有限制御部 状態

  12. 以下，ステップを繰り返して，

  13. のとき， 入力語を受理。 動作停止時の様相 … 有限制御部 状態

  14. 入力語を読み終えたとき， 受理状態に遷移し, その時プッシュダウンスタックは空 （ボトムマーカーのみ）なので， M31 は入力語 aaabbbを受理する。

  15. 入力語は読み終えたが, 受理状態ではなく, プッシュダウンスタックも空ではない。 これ以上遷移できないので M31 は入力語 aaabbを拒否する。

  16. 入力語を読み終えることができない（これ以上遷移できない）ので，M31は入力語 aaabbbbを拒否する。

  17. 同様に, ・ M31 は，a だけから成る入力語は読み終えることはできるが， 読み終えて遷移する状態は受理状態ではなく，かつその時のプッシュダウンスタックは空でない。 また， ・いくつかの a の後にいくつかの b が来てさらに a が来るような入力語 ・ b から始まる入力語 は，いずれも M31 はその入力語を読み終えることができない。 形式言語とオートマトン

  18. よって， である。

  19. 2 本日の予定2 非決定性 プッシュダウンオートマトン 形式言語とオートマトン

More Related