形式言語とオートマトン 中間試験解答例 2016年11月15実施 中島毅.

Slides:



Advertisements
Similar presentations
プログラミング言語論 第3回 BNF 記法について(演習付き) 篠埜 功. 構文の記述 プログラミング言語の構文はどのように定式化できるか? 例1 : for ループの中に for ループが書ける。 for (i=0; i
Advertisements

プログラミング言語論 第10回(演習) 情報工学科 木村昌臣   篠埜 功.
計算の理論 I -言語とオートマトン- 月曜3校時 大月 美佳.
文法と言語 ー字句解析とオートマトンlexー
離散数学入門 (集合論、ベン図) 情報システム学科 中田豊久.
コンパイラ 2011年10月17日
計算の理論 I 決定性有限オートマトン(DFA) と 非決定性有限オートマトン(NFA)
3 一次関数 1章 一次関数とグラフ §3 一次関数の式を求めること          (3時間).
計算の理論 I ー DFAとNFAの等価性 ー 月曜3校時 大月 美佳.
文法と言語 ー文脈自由文法とLL構文解析ー
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 II 文脈自由文法と プッシュダウンオートマトン
計算の理論 I -講義について+αー 月曜3校時 大月美佳.
コンパイラ 2012年10月15日
東京工科大学 コンピュータサイエンス学部 亀田弘之
第2章 「有限オートマトン」.
形式言語とオートマトン2013 ー有限オートマトンー 第5日目
形式言語とオートマトン Formal Languages and Automata 第4日目
形式言語とオートマトン Formal Languages and Automata 第4日目
形式言語とオートマトン2008 ー有限オートマトンー
プログラミング言語論 第3回 BNF記法について(演習付き)
文法と言語 ー字句解析とオートマトンlexー
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I 正則表現 火曜3校時 大月 美佳 平成16年6月8日 佐賀大学知能情報システム学科.
計算の理論 I ー 正則表現(今度こそ) ー 月曜3校時 大月 美佳.
計算の理論 I 正則表現 月曜3校時 大月 美佳 平成15年6月9日 佐賀大学知能情報システム学科.
計算の理論 I ー 正則表現 ー 月曜3校時 大月 美佳.
形式言語とオートマトン Formal Languages and Automata 第4日目
Macro Tree Transducer の 型検査アルゴリズム
ディジタル信号処理 Digital Signal Processing
計算の理論 I -言語とオートマトン- 月曜3校時 大月 美佳.
オートマトンとチューリング機械.
言語と文法 言語とは,ルールに従う記号列の無限集合である. 文法を与えることで言語が定義できる.
計算の理論 I -Myhill-Nerodeの定理 と最小化-
平成20年10月5日(月) 東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 II 前期の復習 -有限オートマトン-
計算の理論 I ε-動作を含むNFA 月曜3校時 大月 美佳.
計算の理論 I ε-動作を含むNFA 月曜3校時 大月 美佳 平成15年6月2日 佐賀大学知能情報システム学科.
計算の理論 I 正則表現とFAとの等価性 月曜3校時 大月 美佳 平成15年6月16日 佐賀大学知能情報システム学科.
東京工科大学 コンピュータサイエンス学部 亀田弘之
5 Recursions 朴大地.
東京工科大学 コンピュータサイエンス学部 亀田弘之
長さの制限付きギャップと 文字クラスを含むパタンに対する 照合アルゴリズムの改善
東京工科大学 コンピュータサイエンス学部 亀田弘之
2007年度 情報数理学.
文法と言語 ー文脈自由文法とLL構文解析ー
チューリングマシン 0n1nを受理するチューリングマシン 入力テープ b b b b 状態遷移機械.
平成26年4月22日(火) 東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I ー正則表現とFAの等価性 その1ー
計算の理論 I 決定性有限オートマトン(DFA) と 非決定性有限オートマトン(NFA)
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I 非決定性有限オートマトン(NFA)
計算の理論 I -プッシュダウンオートマトン-
計算の理論 I ー正則表現とFAの等価性ー 月曜3校時 大月 美佳.
計算の理論 I プッシュダウンオートマトン 火曜3校時 大月 美佳 平成16年7月6日 佐賀大学知能情報システム学科.
論理回路 第5回
東京工科大学 コンピュータサイエンス学部 亀田弘之
形式言語とオートマトン 第14回 プッシュダウンオートマトンと全体のまとめ
4.プッシュダウンオートマトンと 文脈自由文法の等価性
計算の理論 I NFAとDFAの等価性 火曜3校時 大月 美佳 平成16年5月18日 佐賀大学理工学部知能情報システム学科.
東京工科大学 コンピュータサイエンス学部 亀田弘之
計算の理論 I ー 正則表現 ー 月曜3校時 大月 美佳.
コンパイラ 2012年10月11日
形式言語とオートマトン2016 ー有限オートマトンー 第4日目
計算の理論 I ε-動作を含むNFAと等価なDFA
計算の理論 I ε-動作を含むNFA 火曜3校時 大月 美佳 平成16年5月25日 佐賀大学知能情報システム学科.
非決定性有限オートマトン 状態の有限集合 入力記号の有限集合 注意 動作関数 初期状態 受理状態の有限集合.
形式言語とオートマトン Formal Languages and Automata 第5日目
計算の理論 I ー ε-動作を含むNFA ー 月曜3校時 大月 美佳.
計算の理論 I プッシュダウンオートマトン 月曜3校時 大月 美佳 平成15年7月7日 佐賀大学知能情報システム学科.
Presentation transcript:

形式言語とオートマトン 中間試験解答例 2016年11月15実施 中島毅

[1] 正規表現 (1*+01*0)* について以下に答えよ. (1) 正規表現に対応するε-NFA の状態遷移図を書け. 1* と 01*0 ε 1*+01*0 ε (1*+01*0)* 1 ε ε 1 S0 S2 S3 S1 ε ε

(2) ε-NFAの状態遷移関数表δε-NFA を書け. 1 S1 ε 1 ε S0 S2 S3 ε

(3) δε-NFA を,NFAの状態遷移関数表δNFAへ変換せよ 1 S1 ε 1 ε S0 S2 S3 ε {S0, S1, S3} ε閉包 {S2} {S2, -, -} {S2} * {S0, S1, S3} {-, S1, -} {S2, -, -} {S2} {S0, S1, S3} {-, S1, -} {S0, S1, S3} {S3} {S2} {S2} {S2, -, -} {S2} {S0, S1, S3} {-, S1, -}

(4) δNFA を,DFAの状態遷移関数表δDFAへ変換せよ. * {S2} {S0, S1, S3} [S0] [S2] * [S0 S1 S3] {S2} {S0, S1, S3} [S2] [S0 S1 S3] [S2] {S0, S1, S3} {S2} * [S0 S1 S3] [S2] [S0 S1 S3] {S2} {S0, S1, S3} NFAの受理状態(S0)を含むものが DFAの受理状態

(5) 変換されたDFAの状態遷移図を書け. 1 S0 S0S1S3 S2 [S0] [S2] * [S0 S1 S3] [S2] [S0 S1 S3] [S2] * [S0 S1 S3] [S2] [S0 S1 S3]

[2] 入力と出力のアルファベットがともに Σ={a, b, c} であり,入力を1つ遅らせて出力するミーリー機械を書け. a/a a ε a 1 b/a a/c b a/b c/a b/c c b c c/b b/b c/c

[3]次の言語を受理するDFAの状態遷移図を記述せよ.. アルファベット Σ={0, 1} ,. L={ω|ω∊Σ Even Odd 1 1 1

[4] 次のDFAが受理する言語を正規表現で表せ. ただし,線形再帰方程式を使って解くこと. S0 = ε + S0 0 + S11 + S21 ① S1 = S01 ② S2 = S10 + S20 ③ S2 = S010 + S20 ③←② ④ ④←⑤ S2 = (ε + S21) (0+11)* 10 + S20   = (0+11)*10 +  S2(1(0+11)*10+0) S0 = ε + S00 + S011 + S21 = (ε + S21) + S0(0+11) ①←② s t 線形回帰方程式を解いて S2 = (0+11)*10 (1(0+11)*10+0)* S0 = (ε + S21) (0+11)* 線形回帰方程式を解いて ⑤