1 / 17

形式言語 と オートマトン

形式言語 と オートマトン. 第 12 回 鳥取大学工学研究科 情報エレクトロニクス専攻 田中美栄子. 本日の予定. 正規言語の和、連結、＊について 演習. 形式言語とオートマトン. 正規表現の閉包性. 正規言語　：　 FA の受理する言語 , あるいは 正規表現の表す言語のクラス 正規言語は言語の和、連結、＊について 閉じている 正規言語 は 積 、補の集合演算についても 閉じている. 形式言語とオートマトン. 有限状態 言語は対応する FSA がある. オートマトンで書けば.

camila
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. 形式言語 とオートマトン 第12回 鳥取大学工学研究科 情報エレクトロニクス専攻 田中美栄子

  2. 本日の予定 正規言語の和、連結、＊について 演習 形式言語とオートマトン

  3. 正規表現の閉包性 正規言語　：　FAの受理する言語,あるいは 正規表現の表す言語のクラス 正規言語は言語の和、連結、＊について 閉じている 正規言語は積、補の集合演算についても 閉じている 形式言語とオートマトン

  4. 有限状態言語は対応するFSAがある オートマトンで書けば 有限状態言語L1にはそれを識別できるFSAがある.⇒M1と呼ぶ 有限状態言語L2にはそれを識別できるFSAがある.⇒M2と呼ぶ 形式言語とオートマトン

  5. 有限状態言語が和で閉じること オートマトンで書けば L2を識別するFSAはM1とM2を並列に繋げたもの L1+ 形式言語とオートマトン

  6. 有限状態言語が連結で閉じること オートマトンで書けば L1 L2を識別するFSAはM1とM2を直列に繋げたもの 形式言語とオートマトン

  7. 有限状態言語が*積で閉じること L1が有限状態言語ならL1* も有限状態言語 L1が正規表現ならその*積も正規表現 形式言語とオートマトン

  8. 有限状態言語が*積で閉じること オートマトンで書けば L1のFSAをループしたものもFSA になる 形式言語とオートマトン

  9. 正規言語 正規言語の例 これらを表す正規表現は 形式言語とオートマトン

  10. 正規表現 形式言語とオートマトン

  11. 先ほどの例より 　語や言語の連接を表すために記号”” 　　言語の和を表すために記号” + ” 　言語のスター演算を表すために記号” ＊ ” 　　　　　　　　　　　　　　　　　　　　が用いられる 形式言語とオートマトン

  12. ：aとbのどちらかが0回以上繰り返すような 　　　　　語の集合を表す ：aが0回以上繰り返しその後にbが0回以上 繰り返すような語の集合 同じ言語を表す正規表現は1つとは限らない! 形式言語とオートマトン

  13. 演習 形式言語とオートマトン

  14. 問１ aで始まり、bで終わる語からなる言語を表す 正規表現を求めなさい (必ず和とスター演算を一回以上使用すること) 形式言語とオートマトン

  15. 問１：解答例 aで始まり、bで終わる語からなる言語を表す 正規表現を求めなさい (必ず和とスター演算を一回以上使用すること) 形式言語とオートマトン

  16. 問2 長さが奇数の語からなる言語を表す 正規表現を求めよ (必ず和とスター演算を一回以上使用すること) 形式言語とオートマトン

  17. 問2：解答例 長さが奇数の語からなる言語を表す 正規表現を求めよ (必ず和とスター演算を一回以上使用すること) 形式言語とオートマトン

More Related