上下文無關(guān)文法（Context-Free Grammar, CFG）是一個4元組G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一組有限的產(chǎn)生式規(guī)則集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素稱為非終結(jié)符，T的元素稱為終結(jié)符，S是一個特殊的非終結(jié)符，稱為文法開始符。
設(shè)G=(V, T, S, P)是一個CFG，則G產(chǎn)生的語言是所有可由G產(chǎn)生的字符串組成的集合，即L(G)={x∈T* | Sx}。一個語言L是上下文無關(guān)語言（Context-Free Language, CFL），當(dāng)且僅當(dāng)存在一個CFG G，使得L=L(G)。 *⇒
例如，設(shè)文法G：S→AB
A→aA|a
B→bB|b
則L(G)={a^nb^m | n,m>=1}
其中非終結(jié)符都是大寫字母，開始符都是S，終結(jié)符都是小寫字母。
標(biāo)簽：
Context-Free
Grammar
CFG
上傳時間：
2013-12-10
上傳用戶：gaojiao1999
基于事件驅(qū)動的串口通訊控件
消息幀數(shù)據(jù)格式:
1 0 A B X X
其中 10 為消息標(biāo)識,
AB表示文本長度,L=A*100+B
XX為配位字符,任意
控制幀數(shù)據(jù)格式
0 1 A B M N
其中 01為控制標(biāo)識,
AB為請求標(biāo)識
MN為附加標(biāo)識
11表示請求對方接收文件,M表示描述字串中文件名子串的長度
N表示描述字串中文件大小子串的長度
10通知對方放棄傳輸
00通知文件傳輸完畢
01請求對方發(fā)送數(shù)據(jù), MN為10請求發(fā)送下一個
MN為00請求重發(fā)
數(shù)據(jù)幀數(shù)據(jù)格式
0 0 A B M N
其中 00 為數(shù)據(jù)標(biāo)識,
AB表示數(shù)據(jù)長度,L=A*100+B
MN為校驗,M*100+N=A+B
標(biāo)簽：
100
幀
數(shù)據(jù)格式
10
上傳時間：
2015-10-06
上傳用戶：拔絲土豆
