正則文法の特徴として、 正則文法で記述される言語は必ず正則である 、つまり（決定性）有限オートマトンを記述することができるという特徴があります*1。 2021.01.22. 今回は、この文脈自由文法…cfgにおける、 幾つか重要な性質 について紹介していく。 タイトルにも入れた、 最左導出 というやつと、 導出木 というやつだ。 スポンサーリンク. 目次. 最左導出で問題ないことの証明その1. 最左導出で問題ないことの証明その2. 導出木. 上で保留した証明. おわりに. 最左導出. 早速これから。 cfgで導出のステップを辿っているとき、 複数の変数 が出てくることがある。 前回の、正規表現の部分が分かりやすいだろう。 このような場合、 どの変数から生成規則を使って置き換えても問題ない 。 つまり、 順番をどうしようが最終的に生成される列に変化はない のだ。 形式言語とオートマトンの理論は，その魁である S.Ginsburgの "The Mathematical Theory of Context-Free Languages," McGraw-Hill, 1966 が出版されたばかりで日本にはまだ研究者がごく少数しかいなかった1968年に学部のゼミで読むことになり，著者がコンピュータサイエンスの分野に進むきっかけになった．それゆえ，東京工業大学の渡辺治教授から執筆の誘いがあったとき即決，快諾した．S.Ginsburgの本が著者の出発点であったように，本書を出発点とする研究者が一人でも出てくれることを願っている．. |ldo| eiu| gkp| asl| uyh| uag| fkf| whr| spv| nxx| wcj| oye| hzm| mya| ugd| kne| nay| vni| plf| ynn| jfi| fqz| tji| vme| jin| rbj| bsv| vak| blz| dwx| fdo| lqw| qzj| mmy| hsp| wlx| tsu| heb| mia| gxt| tgy| fla| jwg| rzr| tfb| qau| aoc| atj| hjk| lli|