オートマトン理論(2020年度開講無し)

科目基礎情報

学校 鳥羽商船高等専門学校 開講年度 令和02年度 (2020年度)
授業科目 オートマトン理論(2020年度開講無し)
科目番号 0141 科目区分 専門 / 選択
授業形態 講義 単位の種別と単位数 学修単位: 2
開設学科 生産システム工学専攻 対象学年 専1
開設期 前期 週時間数 前期:2
教科書/教材 はじめて学ぶオートマトンと言語理論、森北出版、藤原 暁宏
担当教員 中井 一文

到達目標

・有限オートマトンを説明できる
・非決定性有限オートマトンを説明できる
・有限オートマトンと正規表現の変換を説明できる

ルーブリック

理想的な到達レベルの目安標準的な到達レベルの目安未到達レベルの目安
評価項目1有限オートマトンを上手く説明できる有限オートマトンを説明できる有限オートマトンを説明できない
評価項目2非決定性有限オートマトンを上手く説明できる非決定性有限オートマトンを説明できる非決定性有限オートマトンを説明できない
評価項目3有限オートマトンと正規表現の変換を行える有限オートマトンと正規表現の変換を説明できる有限オートマトンと正規表現の変換を説明できない

学科の到達目標項目との関係

教育方法等

概要:
各種有限オートマトンについて学ぶ
授業の進め方・方法:
授業は講義+演習で進めていく。
事前学習として教科書の通読を課し、事後学習として章末の演習問題を課す。
注意点:
オートマトンが実際の現象にどのように対応するのか意識すること。

授業計画

授業内容 週ごとの到達目標
前期
1stQ
1週 ガイダンス 概要を説明できる
2週 オートマトンとは オートマトンの定義を説明できる
3週 基礎的な数学準備 集合を説明できる
4週 言語の種類と概念 言語について説明できる
5週 有限オートマトンの概要 有限オートマトンの概要について説明できる
6週 非決定性有限オートマトン 非決定性有限オートマトンを説明できる
7週 中間試験
8週 空動作をもつ有限オートマトン 空動作をもつ有限オートマトンをせつめいできる
2ndQ
9週 オートマトンの等価性 等価性判定のアルゴリズムを説明できる
10週 オートマトンの簡単化 簡単化のアルゴリズムを説明できる
11週 正規表現 正規表現とはなにかを説明できる
12週 正規表現の数学的準備と定義 正規表現の数学的準備と定義について説明できる
13週 正規表現から有限オートマトンへの変換 正規表現から有限オートマトンへの変換を説明できる
14週 有限オートマトンから正規表現への変換 有限オートマトンから正規表現への変換を説明できる
15週 期末試験 非正則言語の定義を説明できる
16週 試験返却・解説

モデルコアカリキュラムの学習内容と到達目標

分類分野学習内容学習内容の到達目標到達レベル授業週

評価割合

試験発表相互評価態度ポートフォリオその他合計
総合評価割合70000300100
基礎的能力0000000
専門的能力70000300100
分野横断的能力0000000