形式语言及其应用中的新进展

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