自动机,上下文无关文法,可计算理论等,由本校教师自行编写的教材