本资源属于北航研究生课程，为计算理论课件。