上下文无关文法（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
城市生态规划软件，用于城市、城镇空间控制和生态参与式规划
上传时间： 2015-09-26
上传用户：tianyi223
ad7862芯片功能及性能要求，以及管脚定义和时序图
上传时间： 2013-12-10
上传用户：weixiao99
在这里有上机的全部试题，和C语言程序设计的基本类容
标签： 试题
上传时间： 2015-11-21
上传用户：xuan‘nian
一首VHDL自动音乐发生器程序，在Altera EDA软件下测试通过
上传时间： 2013-12-18
上传用户：dbs012280
TI公司的视频处理器DM642的开发板EVM642的测试程序，对调试硬件和编写程序的参考价值极大。
上传时间： 2015-11-30
上传用户：cc1
第一章：综合运用VC.NET与托管类 第二章: 正则表达式的运用 第三章: 注册表、文件IO 第四章：密码学、HASH代码、数据加密 第五章：XML ADO.NET 第六章: ADO.NET与dataset 第七章：高级ADO.net 第八章：ADO.NET与xml高级运用 第九章：远程处理 第十章：事件日志、进程控制、性能测试 第十一章：管理托管对象
上传时间： 2013-12-11
上传用户：redmoons
嵌入式软件开发指导性书籍，可以编译c和汇编两种语言，是较好的硬件开发类书
上传时间： 2014-01-10
上传用户：dapangxie
We have a group of N items (represented by integers from 1 to N), and we know that there is some total order defined for these items. You may assume that no two elements will be equal (for all a, b: a<b or b<a). However, it is expensive to compare two items. Your task is to make a number of comparisons, and then output the sorted order. The cost of determining if a < b is given by the bth integer of element a of costs (space delimited), which is the same as the ath integer of element b. Naturally, you will be judged on the total cost of the comparisons you make before outputting the sorted order. If your order is incorrect, you will receive a 0. Otherwise, your score will be opt/cost, where opt is the best cost anyone has achieved and cost is the total cost of the comparisons you make (so your score for a test case will be between 0 and 1). Your score for the problem will simply be the sum of your scores for the individual test cases.
标签： represented integers group items
上传时间： 2016-01-17
上传用户：jeffery
H.264视频编解码的标准测试模型，包括编码部分和解码部分，是目前测试模型里最好最稳定的
上传时间： 2013-12-11
上传用户：athjac
