CYK算法形式语言与自动机