Ｇ．贝克．恩吉克斯等

形式语言理论被广泛地认为是理论计算机科学的支柱。它主要源自数学生成语言学。此后新的专业从计算机科学、生物学、语言学或者数学中产生。在某种意义上，所有人类问题的解决能力被认为是由符号及由符号组成的结构的处理，它实际上是形式语言理论的主干。语言以它的两种基本形式存在，自然的和人工的，它是符号系统的一种特殊情况。作为一门基础学科，形式语言理论的概念和技术存在于现代研究的各种各样的理论和应用领域中，这些领域都涉及了符号的处理，例如离散数学、生物信息学、自然语言处理、模式识别、文本检索、学习、密码学、压缩等。

本书以一种容易理解的方式提供了形式语言理论、最新迅速发展的子领域的主要成果，并且向读者提供了丰富的的参考书目，以便使他们能做深入的研究，而且对公开问题作了系统的阐述。本书相当于形式语言理论及其应用的大门，一般说来它是计算理论的信息来源。本卷书同时也是对斯普林格出版社出版的《模糊性和软计算研究》丛书第148卷和《计算智能研究》丛书第25卷的补充。

本书共有8章，1．基本符号及术语；2．有关部分字的公开问题；3．对准与近似字符串匹配；4．有关通讯复杂性的引导课程；5．形式语言与并发行为；6．细胞自动机的一个计算观点；7．概率语法分析；8．基于DNA的存储综述。

本书是斯普林格出版社出版的《计算智能研究》丛书的第113卷。本书针对的读者群包括计算机科学或数学专业的大学生和研究生。……