上下文無關文法（ContexT-Free Grammar, CFG）是一個4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產生式規(guī)則集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素稱為非終結符，T的元素稱為終結符，S是一個特殊的非終結符，稱為文法開始符。
設G=(V, T, S, P)是一個CFG，則G產生的語言是所有可由G產生的字符串組成的集合，即L(G)={x∈T* | Sx}。一個語言L是上下文無關語言（ContexT-Free Language, CFL），當且僅當存在一個CFG G，使得L=L(G)。 *⇒
例如，設文法G：S→AB
A→aA|a
B→bB|b
則L(G)={a^nb^m | n,m>=1}
其中非終結符都是大寫字母，開始符都是S，終結符都是小寫字母。
標簽：
ContexT-Free
Grammar
CFG
上傳時間：
2013-12-10
上傳用戶：gaojiao1999
BNB20 Finds the constrained minimum of a function of several possibly integer variables.
％ Usage: [errmsg,Z,X,t,c,fail] =
％ BNB20(fun,x0,xstatus,xlb,xub,A,B,Aeq,Beq,nonlcon,settings,options,P1,P2,...)
％
％ BNB solves problems of the form:
％ Minimize F(x) subject to: xlb <= x0 <=xub
％ A*x <= B Aeq*x=Beq
％ C(x)<=0 Ceq(x)=0
％ x(i) is continuous for xstatus(i)=0
％ x(i) integer for xstatus(i)= 1
％ x(i) fixed for xstatus(i)=2
％
標簽：
constrained
variables
function
possibly
上傳時間：
2014-01-13
上傳用戶：youth25
回溯（b a c k t r a c k i n g）是一種系統地搜索問題解答的方法。為了實現回溯，首先需要為問題定義一個解空間（ solution space），這個空間必須至少包含問題的一個解（可能是最優(yōu)的）。在迷宮老鼠問題中，我們可以定義一個包含從入口到出口的所有路徑的解空間；在具有n 個對象的0 / 1背包問題中（見1 . 4節(jié)和2 . 2節(jié)），解空間的一個合理選擇是2n 個長度為n 的0 / 1向量的集合，這個集合表示了將0或1分配給x的所有可能方法。當n= 3時，解空間為{ ( 0 , 0 , 0 )，( 0 , 1 , 0 )，( 0 , 0 , 1 )，( 1 , 0 , 0 )，( 0 , 1 , 1 )，( 1 , 0 , 1 )，( 1 , 1 , 0 )，( 1 , 1 , 1 ) }。
標簽：
搜索
上傳時間：
2014-01-17
上傳用戶：jhksyghr
