上下文無關文法（Context-Free Grammar, CFG）是一個4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產生式規則集，形如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
問題描述：設R={ r1 , r2, r3, ..., rn }是要進行排列的n個元素，其中元素 r1 , r2, r3, ..., rn 可能相同。試設計一個算法，列出R的所有不同排列。
算法設計：在主程序中交互輸入n (1≤n≤100)及r1 , r2, r3, ..., rn，計算并在窗口中輸出R的所有不同排列。
標簽：
r1
rn
元素
上傳時間：
2013-12-23
上傳用戶：13188549192
