ミニテスト12解答 月曜3校時 大月 美佳.

Slides:



Advertisements
Similar presentations
計算の理論 I -言語とオートマトン- 月曜3校時 大月 美佳.
Advertisements

計算の理論 I 文脈自由文法 月曜3校時 大月 美佳 平成15年6月30日 佐賀大学知能情報システム学科.
7/10 if 文課題 力作が多くて感心! 演習1:キーボードから2つの整数を入力し、小さい方の数字を 表示せよ。
第1章 数と式 第4節 集合と命題  8  集合 (第3回).
プログラミング基礎I(再) 山元進.
計算の理論 II 帰納的関数(つづき) 月曜4校時 大月美佳.
第三回 線形計画法の解法(1) 標準最大値問題 山梨大学.
計算の理論 I 決定性有限オートマトン(DFA) と 非決定性有限オートマトン(NFA)
第四回 線形計画法(2) 混合最大値問題 山梨大学.
計算の理論 II NP完全 月曜4校時 大月美佳.
計算の理論 I ー DFAとNFAの等価性 ー 月曜3校時 大月 美佳.
計算の理論 II 文脈自由文法と プッシュダウンオートマトン
第二回 連立1次方程式の解法 内容 目標 連立1次方程式の掃出し法 初期基底を求める 連立1次方程式を掃出し法を用いてExcelで解析する
情報システム構築 -グループ分けとCVSの初期設定-
エレクトロニクスII 第13回増幅回路(2) 佐藤勝昭.
第 七 回 双対問題とその解法 山梨大学.
計算の理論 I -講義について+αー 月曜3校時 大月美佳.
割当て問題 • 割当問題の記法・定式化 • 拡張 • 特殊ケース(マッチング) • 3種類のものを割当てる問題.
形式言語とオートマトン Formal Languages and Automata 第4日目
形式言語とオートマトン Formal Languages and Automata 第4日目
計算の理論 II NP完全 月曜5校時 大月美佳 平成17年1月17日 佐賀大学理工学部知能情報システム学科.
CGプログラミング論 平成28年4月20日 森田 彦.
計算の理論 II Turing機械の合成 月曜5校時 大月美佳 2004/11/15 佐賀大学理工学部知能情報システム学科.
計算の理論 I -Myhill-Nerodeの定理 と最小化-
計算の理論 II 帰納的関数 月曜4校時 大月美佳.
計算の理論 II 帰納的関数2 月曜4校時 大月美佳.
計算の理論 I 正則表現 火曜3校時 大月 美佳 平成16年6月8日 佐賀大学知能情報システム学科.
計算の理論 I ー 正則表現(今度こそ) ー 月曜3校時 大月 美佳.
計算の理論 I 正則表現 月曜3校時 大月 美佳 平成15年6月9日 佐賀大学知能情報システム学科.
計算の理論 I ー 正則表現 ー 月曜3校時 大月 美佳.
形式言語とオートマトン Formal Languages and Automata 第4日目
計算の理論 II Turing機械 月曜4校時 大月美佳.
計算の理論 I -Myhill-Nerodeの定理 と最小化-
計算の理論 II 言語とクラス 月曜4校時 大月美佳.
計算の理論 II 時間量と領域量 月曜5校時 大月美佳 2019/4/10 佐賀大学理工学部知能情報システム学科.
計算の理論 II 計算量 月曜5校時 大月美佳 2019/4/10 佐賀大学理工学部知能情報システム学科.
計算の理論 I 文脈自由文法の標準形 月曜3校時 大月美佳.
計算の理論 II 前期の復習 -有限オートマトン-
計算の理論 I ε-動作を含むNFA 月曜3校時 大月 美佳.
計算の理論 I ε-動作を含むNFA 月曜3校時 大月 美佳 平成15年6月2日 佐賀大学知能情報システム学科.
計算の理論 I 正則表現とFAとの等価性 月曜3校時 大月 美佳 平成15年6月16日 佐賀大学知能情報システム学科.
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I ー閉包性ー 月曜3校時 大月 美佳.
形式言語とオートマトン 中間試験解答例 2016年11月15実施 中島毅.
計算の理論 I ー正則表現とFAの等価性 その1ー
計算の理論 I 決定性有限オートマトン(DFA) と 非決定性有限オートマトン(NFA)
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I 反復補題 月曜3校時 大月 美佳 平成15年7月14日 佐賀大学知能情報システム学科.
計算の理論 I 非決定性有限オートマトン(NFA)
計算の理論 I -プッシュダウンオートマトン-
計算の理論 I ー正則表現とFAの等価性ー 月曜3校時 大月 美佳.
計算の理論 I プッシュダウンオートマトン 火曜3校時 大月 美佳 平成16年7月6日 佐賀大学知能情報システム学科.
論理回路 第5回
計算の理論 I -数学的概念と記法- 月曜3校時 大月 美佳.
計算の理論 I -講義について+αー 月曜3校時 大月美佳 平成31年5月18日 佐賀大学理工学部知能情報システム学科.
計算の理論 I NFAとDFAの等価性 火曜3校時 大月 美佳 平成16年5月18日 佐賀大学理工学部知能情報システム学科.
計算の理論 I 反復補題 火曜3校時 大月 美佳 平成16年7月13日 佐賀大学知能情報システム学科.
計算の理論 I ー 正則表現 ー 月曜3校時 大月 美佳.
第4章 double 小数型の変数;.
計算の理論 I ε-動作を含むNFAと等価なDFA
計算の理論 I ε-動作を含むNFA 火曜3校時 大月 美佳 平成16年5月25日 佐賀大学知能情報システム学科.
形式言語とオートマトン Formal Languages and Automata 第5日目
計算の理論 I -講義について+αー 火曜3校時 大月美佳 平成31年8月23日 佐賀大学理工学部知能情報システム学科.
計算の理論 I ー ε-動作を含むNFA ー 月曜3校時 大月 美佳.
3 一次関数 1章 一次関数とグラフ §4 方程式とグラフ         (3時間).
計算の理論 I プッシュダウンオートマトン 月曜3校時 大月 美佳 平成15年7月7日 佐賀大学知能情報システム学科.
計算の理論 II 多テープTuring機械 月曜4校時 大月美佳 平成16年11月29日 佐賀大学知能情報システム学科.
計算の理論 II 時間量と領域量 月曜4校時 大月美佳 2019/9/13 佐賀大学理工学部知能情報システム学科.
信号データの変数代入と変数参照 フィードバック制御系の定常特性 フィードバック制御系の感度特性
計算の理論 I 最小化 月曜3校時 大月 美佳 平成15年6月23日 佐賀大学知能情報システム学科.
Presentation transcript:

ミニテスト12解答 月曜3校時 大月 美佳

前回のミニテスト 演習問題 3.25 以下のDFAを最小化せよ。 e 1 開始 h f g a d b c 1 1

ステップ1 最終状態とそうでない状態の組にXをつける。 h g f e d c b a X

ステップ2 aについて 1 (a, b) (b, a) (a, c) (b, d) (a, e) (a, f) (b, g) (a, g) 開始 h f g a d b c 1 (a, b) (b, a) (a, c) (b, d) (a, e) (a, f) (b, g) (a, g) (b, f) (a, h) (a, d) h g f e d c b a X

ステップ3 bについて 1 (b, c) (a, d) (c, b) (b, e) (c, f) (b, f) (a, g) (c, e) 開始 h f g a d b c 1 (b, c) (a, d) (c, b) (b, e) (c, f) (b, f) (a, g) (c, e) (b, g) (a, f) (c, g) (b, h) (c, d) h g f e d c b a X

ステップ4 cについて (c, g)→(b, g)→(a, f) 1 (c, e) (d, d) (b, f) (c, f) (d, g) 開始 h f g a d b c 1 (c, e) (d, d) (b, f) (c, f) (d, g) (b, e) (c, g) (d, f) (b, g) (c, h) (b, d) h g f e d c b a X (c, g)→(b, g)→(a, f)

ステップ5 eについて (c, g)→(b, g)→(a, f) 1 (e, f) (d, g) (f, e) (e, g) (d, f) 開始 h f g a d b c 1 (e, f) (d, g) (f, e) (e, g) (d, f) (f, g) (e, h) (f, d) h g f e d c b a X (c, g)→(b, g)→(a, f)

ステップ6 fについて 1 (f, g) (g, f) (e, g) (f, h) (g, g) (e, d) h g f e d c b 開始 h f g a d b c 1 (f, g) (g, f) (e, g) (f, h) (g, g) (e, d) h g f e d c b a X

ステップ7 gについて a≡g b≡f c≡e 1 (g, h) (f, g) (e, d) h g f e d c b a X e h f 開始 h f g a d b c 1 (g, h) (f, g) (e, d) h g f e d c b a X a≡g b≡f c≡e

ステップ8 最終解 a≡g b≡f c≡e 開始 h [a,g] d [b,f] 1 [c,e]