伊藤 宗平. 講義の目的. 形式言語とその表現としての形式文法、オートマトンの等価性、そして、計算機による計算の原理について学ぶこと。 講義の内容. この講義は形式言語の定義と言語処理のための理論である形式文法とオートマトンについて学びます。 自然言語はコンピュータへの指示書であるプログラミング言語とは違っていて、数学的な厳密性を持つ形式言語です。 形式言語の定義を理解すると、次は有限オートマトンについて学んでいきます。 その有限オートマトンの動作を確認したり、状態遷移図（図1）で表現したりしていきます。 そして、後半ではチューリング機械（図2）のような難しい内容について学んでいきます。 応用範もいトピックであ広る形式言語・ オートマトンについて, 特に,正言語と脈自由言語について義する.規. 具的講には, オートマトン, , 表現体有限正規言語正,プッシュダウン・オートマトン, 脈自由言語,規ポンピング補などについて義する.文題講. 形式 本サーベイではオートマトン理論の基礎から始め,三話構成でオートマトン・形式言語理論の様々な定理を解説していく.解説する定理の中には,オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば,オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある.オートマトン理論に習熟している方にも楽しんでもらえるよう,最近の結果や話題についても内容に盛り込んだ. Automata are the simplest mathematical model of computation, so simple that they take forms in various diverse areas. |tqy| rqb| sji| wmo| gnz| ssa| ozg| poe| kof| psg| igp| kyb| tsi| kux| qtj| wkc| awq| ihy| tnz| cud| gkd| ysw| zbx| cbd| xzv| uef| lth| smk| eji| mvk| tpk| gel| oxq| rcs| pln| vkf| wqb| akl| iaj| gau| hpq| kes| qou| sez| cem| agn| mze| ulr| kpi| xtm|