The CYK algorithm in NUAA course: Formal Language and Automata, taught by Hu Jun (http://hujun.nuaa.edu.cn/)