上下文無(wú)關(guān)文法（Context-Free Grammar, CFG）是一個(gè)4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產(chǎn)生式規(guī)則集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素稱為非終結(jié)符，T的元素稱為終結(jié)符，S是一個(gè)特殊的非終結(jié)符，稱為文法開(kāi)始符。
設(shè)G=(V, T, S, P)是一個(gè)CFG，則G產(chǎn)生的語(yǔ)言是所有可由G產(chǎn)生的字符串組成的集合，即L(G)={x∈T* | Sx}。一個(gè)語(yǔ)言L是上下文無(wú)關(guān)語(yǔ)言（Context-Free Language, CFL），當(dāng)且僅當(dāng)存在一個(gè)CFG G，使得L=L(G)。 *⇒
例如，設(shè)文法G：S→AB
A→aA|a
B→bB|b
則L(G)={a^nb^m | n,m>=1}
其中非終結(jié)符都是大寫(xiě)字母，開(kāi)始符都是S，終結(jié)符都是小寫(xiě)字母。
標(biāo)簽：
Context-Free
Grammar
CFG
上傳時(shí)間：
2013-12-10
上傳用戶：gaojiao1999
回溯（b a c k t r a c k i n g）是一種系統(tǒng)地搜索問(wèn)題解答的方法。為了實(shí)現(xiàn)回溯，首先需要為問(wèn)題定義一個(gè)解空間（ solution space），這個(gè)空間必須至少包含問(wèn)題的一個(gè)解（可能是最優(yōu)的）。在迷宮老鼠問(wèn)題中，我們可以定義一個(gè)包含從入口到出口的所有路徑的解空間；在具有n 個(gè)對(duì)象的0 / 1背包問(wèn)題中（見(jiàn)1 . 4節(jié)和2 . 2節(jié)），解空間的一個(gè)合理選擇是2n 個(gè)長(zhǎng)度為n 的0 / 1向量的集合，這個(gè)集合表示了將0或1分配給x的所有可能方法。當(dāng)n= 3時(shí)，解空間為{ ( 0 , 0 , 0 )，( 0 , 1 , 0 )，( 0 , 0 , 1 )，( 1 , 0 , 0 )，( 0 , 1 , 1 )，( 1 , 0 , 1 )，( 1 , 1 , 0 )，( 1 , 1 , 1 ) }。
標(biāo)簽：
搜索
上傳時(shí)間：
2014-01-17
上傳用戶：jhksyghr
