内容説明
情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキスト。
目次
1 準備
2 計算可能性と計算量
3 正則言語
4 文脈自由言語
5 文脈依存言語
6 EFS
7 自然言語構文論における形式的手法
情報科学、特に計算機科学の理論の中核をなす形式言語理論についての、情報科学・工学系の学部から大学院修士課程におけるテキスト。
1 準備
2 計算可能性と計算量
3 正則言語
4 文脈自由言語
5 文脈依存言語
6 EFS
7 自然言語構文論における形式的手法