21世纪大学本科计算机专业系列教材编委会编写,《形式语言与自动机原理》