清华版编译原理课程考核01A