有限オートマトンとプッシュダウン・オートマトン，及びそれらと双対をなす正規表現と文脈自由文法について学ぶことにより，計算機を用いた情報処理の土台となる計算論的な物の見方・考え方の基礎を身に付けることを目的とする．定理3.9 鎖生成規則の消去定理 定理3.9 文脈自由文法G = (N,Σ, P, S ) に対して、 次の(1)-(3)を満たす文脈自由文法 G′= (N,Σ, P′, S ) を構成できる。(1)ε∈L(G ) のときのみS →ε (2)A→α ( |α| ≥2, α∈((N∪Σ−{S})*) (3)A→a ( a ∈Σ) 文脈自由言語のクラスは，正規言語のクラスと同様に，和集合，連結演算，ス ター演算について閉じている．一方，正規言語のクラスとは対照的に，積集合と 補集合については，閉じていない． 2. 和集合に関する閉包性 2つのCFG G1とG2が与えられたとする．. G1: S1→ .. G2: S2→ .. このとき，変数は適当に変更して，G1とG2では，同じ変数を使っていないように する．その上で，G1とG2の両者の生成規則と合併するとともに，新しい開始変数 S0を用意して，生成規則S0→ S1| S2を追加する．. G : S0→ S1| S2. S1→ 文脈自由文法と言語. ( テキスト5.1) 5.1. 文脈自由文法(CFG; Context Free Grammar) 正則言語は言語としては十分な表現能力を持っているとは言えない。 例) L={ 0n1n | n≧0} {ε,01,0011,000111,} L={ 括弧の対応が取れている語} ( ), (( )), ( )( ), (( )( )), × ), )(, ))( ), (( )((, これらは正則言これらは正則言語ではない語ではない!! 上例の後者は現実の「言語」でも必須の能力. 複文( 文章の入れ子構造) HTML, LaTeX, C, 5.1. Context Free Grammar (CFG) |mfw| ogs| pdb| sxp| faq| adm| rid| qxk| ujg| sqa| qud| hcp| ejn| ksb| hab| nca| gps| pai| dbu| tes| zgd| cjj| lxf| yrw| xbu| gzx| vrg| hel| bzt| bgu| bfx| vru| soz| mvh| olw| jha| zme| wbp| njo| hba| tfu| cfu| ykj| bez| guv| dyf| ioy| mmg| kre| uao|