教材: 形式语言与自动机 (陈文宇欧齐程炼) 人民邮电出版社教材： 形式语言与自动机 (陈文宇 欧齐 程炼） 人民邮电出版社