的字符串formula_1 是否属于一个上下文无关文法的算法。普通的回溯法（backtracking）在最坏的情况下需要指数时间才能解决这样的问题，而CYK算法只需要多项式时间就够了（formula_2 ， n 为字符串 w 的长度）。CYK算法采用了动态规划的思想。对于一个任意给定的上下文无关文法，都可以使用CYK算法来计算上述问题，但首先要将该文法转换成乔姆斯基范式。
算法描述.
简介.通过由下而上的方法计算 formula_8 这个集合，如果 fo