形式语言及其与自动机的关系.pdf
本书是数字电子计算机编译程序理论和语言理论方面的著作． 全书共分十四章．前八章主要介绍Chomsky定义的短语结构文法、前后文有关文法、前后文无关文法和正规文法，并证明了与这四类文法等价的四类自动机：图灵机、线性界限自动机、下推自动机和有穷自动机．第九章讨论语言的
克罗夫特
十字花科植物遗传与基因组学.pdf
本书介绍了十字花科植物的遗传与基因组学。内容涵盖十字花科植物的分类与进化，结构基因组与比较基因组学，十字花科植物重要物种（白菜、甘蓝、甘蓝型油菜、芥菜、琴叶拟南芥和荠菜）及其重要性状的遗传，遗传转化技术和反向遗传学研究方法，以及种质资源和生物信息资源等内容。
自动机理论、语言和计算导引.pdf
本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论图灵机；第八章讨论不可判定性；第九章按Chomsky谱系对语言和自
自动机理论、语言和计算导引.pdf
本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论图灵机；第八章讨论不可判定性；第九章按Chomsky谱系对语言和自