（英）布雷迪（Brady，J.M.）著；陆佑珊，陈慧清译1988 年出版354 页ISBN：7030002458
书名原文:Thetheoryofcomputerscience:本书从程序设计的角度讨论了计算机科学理论
全国GCT考试研究中心组编；邵光砚 徐兵 计慕然 冯荣权编著2006 年出版319 页ISBN：7309041291
本书是GCT工程硕士入学资格考试的数学应试教材。
冯秋官主编；陈建华副主编2012 年出版305 页ISBN：9787111358022
本书是在总结使用第3版的基础上，由机械工业高等职业技术教育机电类专业教材编委会组织修订而成，作为高职高专教育机电类专业基础课规划教材。全书分上、下两篇。上篇为机械制图，内容有：制图的基本知识和技能，正....
21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....
