上下文无关文法(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
螺旋矩阵问题:编程产生H*L的螺旋矩阵。首先,我们用一个二维数组来放置矩阵,然后按照数字大小顺序来填充矩阵.
上传时间: 2015-10-01
上传用户:zhichenglu
a星路径规划,各种方式的实现,用于二维路径查找算法,(包括使用数组,链表,堆的实现)各种搜索算法
标签: 路径规划
上传时间: 2013-11-30
上传用户:liglechongchong
邻接矩阵类的根是A d j a c e n c y W D i g r a p h,因此从这个类开始。程序1 2 - 1给出了类的描述。程 序中,先用程序1 - 1 3中函数Make2DArray 为二组数组a 分配空间,然后对数组a 初始化,以描述 一个n 顶点、没有边的图的邻接矩阵,其复杂性为( n2 )。该代码没有捕获可能由M a k e 2 D A r r a y 引发的异常。在析构函数中调用了程序1 - 1 4中的二维数组释放函数D e l e t e 2 D
标签: 矩阵
上传时间: 2013-12-21
上传用户:lanjisu111
该程序设计简单,计算结果准确。能很好的利用该程序给出二维光子晶体的禁带结构
标签: 程序设计
上传时间: 2015-10-12
上传用户:jkhjkh1982
此源码为关于模糊控制的源码,是关于二维模糊控制的
上传时间: 2014-01-17
上传用户:维子哥哥
C均值法模式识别算法的VC实现,可实现二维数据的自动分类
上传时间: 2015-10-21
上传用户:gtf1207
在vc环境下,利用canny算子对二维图片进行边缘检测,显示检测的结果。
标签: 环境
上传时间: 2015-10-21
上传用户:王者A
用于计算脉冲激光照射下物体的温度分布,使用有限容积法,对物体进行了二维化简
上传时间: 2015-10-21
上传用户:caozhizhi
有限元法计算平板受集中载荷的程序,二维四边形网格
上传时间: 2015-10-25
上传用户:chenxichenyue