上下文无关文法（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
kthtree问题 给定一棵有向树T，树T 中每个顶点u都有一个权w(u)；树的每条边(u,v)也都有一个 非负边长d(u,v)。有向树T的每个顶点u 可以看作客户，其服务需求量为w(u)。每条边(u,v)的边长d(u,v) 可以看作运输费用。如果在顶点u 处未设置服务机构，则将顶点u 处的服务需求沿有向树的边(u,v)转移到顶点v 处服务机构需付出的服务转移费用为w(u)*d(u,v)。 树根处已设置了服务机构，现在要在树T中增设k处服务机构，使得整棵树T 的服务转移费用最小
上传时间： 2013-12-21
上传用户：lyy1234
给定一棵树T，树中每个顶点u都有一个权w(u)，权可以是负数。现在要找到树T的一个连通子图使该子图的权之和最大。
标签： 树
上传时间： 2014-08-07
上传用户：yyq123456789
Hooking the kernel directly
标签： directly Hooking kernel the
上传时间： 2014-08-21
上传用户：日光微澜
详细的T6,T.30的标准协议.结合T.4看比较有意义.对传真编码有一定的帮助
上传时间： 2015-09-19
上传用户：erkuizhang
回溯（b a c k t r a c k i n g）是一种系统地搜索问题解答的方法。为了实现回溯，首先需要为问题定义一个解空间（ solution space），这个空间必须至少包含问题的一个解（可能是最优的）。在迷宫老鼠问题中，我们可以定义一个包含从入口到出口的所有路径的解空间；在具有n 个对象的0 / 1背包问题中（见1 . 4节和2 . 2节），解空间的一个合理选择是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
In order to thoroughly understand what makes Linux tick and why it works so well on a wide variety of systems, you need to delve deep into the heart of the kernel. The kernel handles all interactions between the CPU and the external world, and determines which programs will share processor time, in what order. It manages limited memory so well that hundreds of processes can share the system efficiently, and expertly organizes data transfers so that the CPU isn t kept waiting any longer than necessary for the relatively slow disks.
标签： thoroughly understand variety order
上传时间： 2014-12-07
上传用户：PresidentHuang
This program demonstrates using a thread safe C++ class called SharedQT<T>. This example actually has several elements which may prove useful for those who are new to C++:
标签： This demonstrates SharedQT program
上传时间： 2015-09-21
上传用户：change0329
基于奇异值分解的核线性判别分析（Kernel Discriminant Analysis via QR Decomposition）。
标签： Decomposition Discriminant Analysis Kernel
上传时间： 2014-01-07
上传用户：TF2015
对于一个动态系统dy/dt=-y(t)+x(t-m),m为一个时间滞后常量，x(t)、y(t)都是关于时间 t的函数，其中x是一个正态分布的数据集合，可随机产生，这样情况下，如何将系统情况 用样本点表示出来
上传时间： 2015-09-23
上传用户：15071087253
