北京航空航天大学2000年编译原理考研试题