検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れて、検索してください。
応用形式言語
| 科目名 | 応用形式言語 | ||||
|---|---|---|---|---|---|
| 旧カリキュラム名 | 形式言語 | ||||
| 教員名 | 夜久 竹夫 | ||||
| 単位数 | 2 | 学年 | 3 | 開講区分 | 文理学部 |
| 科目群 | 情報科学科 | ||||
| 学期 | 前期 | 履修区分 | 選択必修 | ||
| 授業テーマ | コンピュータサイエンスの理論的基礎 |
|---|---|
| 授業のねらい・到達目標 | 文脈自由文法を中心として、言語の形式的扱い方・考え方を修得する。 |
| 授業の方法 | 教科書を中心に進める。 |
| 履修条件 | オートマトンを履修していることが望ましい。 |
| 授業計画 | |
|---|---|
| 1 | ガイダンス |
| 2 | 正則表現（１） |
| 3 | 正則表現（２） |
| 4 | 有限オートマトンと正則表現（１） |
| 5 | 有限オートマトンと正則表現（２） |
| 6 | 文脈自由文法の定義と例 |
| 7 | 文法による導出、文法により定まる言語 |
| 8 | 構文木の構成と成果 |
| 9 | 推論・導出と構文木 |
| 10 | 文法のあいまいさ |
| 11 | 標準形、反復定理 |
| 12 | 学習内容の整理 |
| 13 | 授業内試験と解説 |
| 14 | 文献調査法 |
| 15 | 補足と総括 |
| その他 | |
|---|---|
| 教科書 | J. ホップクロフト，R. モトワニ，J．ウルマン 『オートマトン言語理論計算論Ⅰ』 サイエンス社 2003年 第２版 |
| 参考書 | なし |
| 成績評価の方法及び基準 | 平常点(30%)、授業内テスト(50%)、授業参画度(20%) |
| オフィスアワー | 本授業終了後、６号館６３４室、２０分間 |
| 備考 | 前方出入口からの無断退席者は減点する場合がある。 |