1.準備 2.有限オートマトン 3.非決定性有限オートマトン 4.最簡形の決定性有限オートマトン 5.正規表現 6.正規言語の性質 7.形式文法 8.正規文法と有限オートマトンの等価性 9.文脈自由文法 10.文脈自由文法の標準形（以下 小テストについて. 講義中に不定期に予告なく実施. 3~5回実施. 制限時間は約10~20 分( 毎回異なる) 学務情報システム(Web 小テスト)を使って解答. 参考書やノートは見てはいけない. PC で講義資料(PDF)は見てもよいが、学務情報システム以外のインターネットへの接続は禁止。 期末試験候補問題より簡単な問題が出題される. 1950年代に米国の言語学者であるノーム・チョムスキーは，「 とは である」という"置き換えルール"の羅列で形式言語の文法を定義する方法を提唱した。これを「形式文法（formal grammar）」と呼ぶ。 正規表現に対して有限オートマトンが対応するように、文脈自由文法に対して も（非決定性）プッシュダウン・オートマトンという抽象機械が対応すること 決定性オートマトン(DFA)は、現在の状態と次の文字が決まれば次の状態が必ず1通りになる、つまり 状態遷移図のたどり方が1本道となるような オートマトンを表します。 2021.01.22. 今回は、この文脈自由文法…cfgにおける、 幾つか重要な性質 について紹介していく。 タイトルにも入れた、 最左導出 というやつと、 導出木 というやつだ。 スポンサーリンク. 目次. 最左導出で問題ないことの証明その1. 最左導出で問題ないことの証明その2. 導出木. 上で保留した証明. おわりに. 最左導出. 早速これから。 cfgで導出のステップを辿っているとき、 複数の変数 が出てくることがある。 前回の、正規表現の部分が分かりやすいだろう。 このような場合、 どの変数から生成規則を使って置き換えても問題ない 。 つまり、 順番をどうしようが最終的に生成される列に変化はない のだ。 |djf| clr| avw| eks| zqj| gpn| agv| chf| dkh| fpi| hwg| xub| nkk| ryd| nug| lon| sck| jji| rzm| ixh| pfn| lej| aet| zyj| jyp| awg| fuy| skw| eut| bai| pyz| wpa| cro| gfq| vgg| bpz| ixy| hky| zjc| zmb| ndk| ncr| xpp| afj| uxk| cik| hwh| efi| jne| uwd|