CYK算法详解

在计算机科学领域，CYK算法（也称为Cocke–Younger–Kasami算法）是一种用来对 上下文无关文法（CFG，Context Free Grammar）进行语法分析（parsing）的算法。该算法最早由John Cocke, Daniel Younger and Tadao Kasami分别独立提出，其中John Cocke还是1987年度的图灵奖得主。CYK算法是基于动态规划思想设计的一种自底向上语法分析算法。

Context Free Grammar 和 Parsing 在编译技术和自然语言处理中都有用到，我们这里介绍的内容主要基于后者，因此所举之例子也是自然语言处理中的例子。

1、乔姆斯基范式（CNF，Chomsky Normal Form）

我们首先来谈谈CNF的话题。通常把一门语言定义成一些由单词组成的词串（也就是句子）构成的集合。所以如果问两种语法（或文法）是否等价，其实就是要考察它们能否生成完全一样的词串集合。事实上，两个完全不同的CFG是不可能生成相同语言的。

而谈到两种语法“等价”，