先了解下相关的知识点（以下都只用先了解简单的概念，建议wiki）：BNF范式，上下文无关文法，函数柯里化。lambda读书笔记演算：http://www.blogjava.net/wxb_nudt/archive/2005/05/15/4311.aspxlambda演算实例关于lambda演算的定义...
分类：
其他好文 时间：
2014-09-15 14:06:39
阅读次数：
350
文法的形式定义于分类一个上下文无关文法有四个元素组成：一个终结符号集合，也称为词法单元。一个非终结符号集合，也称为语法变量。一个产生式集合。一个开始符号。文法G可以抽象成四元组的形式：G=(VN,VT,P,S)其中VN表示非终结符集，VT表示终结符集，P表示产生式集，S表示开始符号。文法G描述的语言...
分类：
其他好文 时间：
2014-09-09 17:54:19
阅读次数：
196
上周算法班的BEN老师花了1个小时讲自动机和KMP的关系，结果failed...明天又要上课了，花了半天时间看了下KMP，暂且停留在利用next求模式中的跳跃长度，自动机那个还不能理解。。。具体的可以百度阮一峰的KMP算法。看着什么前缀后缀，突然想到上下文无关文法乔姆斯基范式了。。。。又想到了NFA...
分类：
其他好文 时间：
2014-07-06 17:00:42
阅读次数：
170
正规文法的特性
1.所有长度有限的语言都是正规的。
2.用正规文法当然能产生无限长串，其中周期重复部分的长度不大于非终止符的长度。
举个例子
在此规则之下，能生成句子
其中周期重复部分为ab，这个例子的非终止符的元素个数为2，故满足2不大于2.
自嵌入特性
我们把上下文无关文法中的正规文法去掉，剩下的那部分我们叫做真正的上下文无关文法。
自嵌入特性是区分真正的上下文无...
分类：
其他好文 时间：
2014-05-22 08:07:19
阅读次数：
275
前面介绍的所有思想都属于统计模式识别，然而统计模式识别存在2个问题：
1.有的模式结构很复杂，不能用一个矢量来表示。
2.有的模式识别任务中，我们更关心如何描述它的结构特征。
因此需要另外一种模式识别：结构模式识别。
这其中，句法模式识别主要使用形式语言来描述模式结构，在理论上完备，表1是句法模式识别与统计模式识别的对应关系，下面做介绍。
表1
串文法就是一种机器能...
分类：
其他好文 时间：
2014-05-18 14:13:52
阅读次数：
323
