有限状態言語と正規表現.pptVIP

形式文法と形式言語（１） 形式言語とオートマトン：第9回講義 　　　　　　　　復習 　　「判定機械」としてのFSA 有限状態オートマトン（FSA) Q :状態(state)の有限集合 Σ：入力記号(input symbol)の有限集合 δ :動作関数(move function)　(δ：Q×Σ→Q) q0:初期状態(initial state)　(q0∈Q) F :受理状態(accepting state)の有限集号(F∈Q) M=＜Q、Σ、δ、ｑ０、F＞ 例：　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例 状態　ｒ 状態rからスタート（最初のaを読む） 例：　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例 状態　s 最初のaを読み終わったら状態sに移る 例：　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例 状態　t 次のaを読み終わったら状態tに移る 例：　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例2 状態　ｒ ３つ目のa３を読み終わったら状態が 受理状態rなので受理 例　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例 状態　r 最後のaを読み終わったら状態rに移る 例　M=＜Q、Σ、δ、ｑ０、F＞ Q={r,s,t} Σ={a} δ:Q×Σ→Q δ(r,a)=s δ(t,a)=r δ(s,a)=t q0=r F={r} a a a ＄ 動作例2 状態　ｒ 入力が終了したとき状態が 受理状態rなので受理 有限状態オートマトンの瞬時表現 a x ＄ 文字aを読んで状態sからrに移る 状態　ｒ x ＄ a 状態　s 有限状態オートマトンの瞬時表現 ＄ 状態　 qn an ＄ a1 状態　q0 x x a1 an 有限状態言語 例 有限状態オートマトンの状態遷移図 文法 　「有限状態言語＝正規言語の生成規則」としての正規文法 言語の生成装置としての形式文法 遷移規則：δ(p,a)=q 状態rにいて文字aを読めば状態sに移る 状態rにいて文字aを出力し、状態sに移る a p q Sp　=　それまでの文生成の経過を記憶　　　 aを出力　= Sqでその結果の経過を記憶 遷移先が受理状態ならそこでおしまい 言語の生成装置としての形式文法 a q1 q2 L={a3n0}を受理するFSA q0 a a L={a3n}を生成する文法 文法 文法(grammar) 非終端記号(nonterminal) 終端記号(terminal) 生成規則(production rule) 初期記号(initial symbol) 対応：文法～言語～オートマトン オートマトン（左）と文法（右）の対応する階層性 FSA PDA LBA TM 正規文法 文脈自由文法 文脈依存文法 句構造文法