清华版编译原理课程考核00B