语言方法的科学应用
语言理论的起源归功于20世纪50年代 Chomsky具有创造力的工作,该理论和图灵自动机理论同时发展,在获取可靠的机器翻译样机的第一次不成功的试验中,它被首次应用于自然语言的句法。此后该理论被证明在编程语言及计算理论的研究中非常有价值。在过去的15-20年间,由于新的跨学科领域涌现以及对多个学科应用的需求,语言和自动机理论经历了快速的理论发展。语言方法,即形式语言方法被应用于各式各样的领域,它们可以粗略地分为5个领域:可计算性与复杂性;自然语言处理;人工智能、认知科学和编程;受生物启发的计算机自然计算;生物信息学。与这个广泛跨学科领域有关联的领域包括计算语言学、知识工程、理论计算机科学、软件科学及分子生物学等。本书仅仅给出了在这个框架内所涉及的研究的少数几个例子,以便反映整套丛书的精髓。
本书共分14章:1.描述的复杂性-入门性综述; 2.大小为二的部分词汇所有可避免集合的分类; 3.格鲁斯可夫K图; 4.作为有限自动机实现的自然语言词典; 5.基于树语言的层次结构和半结构数据查询; 6.商幺半群与并行行为; 7.有效语言中的校正查询; 8.软件工程中语法推理的应用:特定领域语言的开发; 9.小规模插入及删除系统; 10.有关进化词汇与图片处理器的接收网络的综述; 11.量子自动机与周期性事件; 12.关于孤子线路和基于网络的自动机的综述和展望; 13.来自英语中句法改变数据的领导结构推理; 14.用于高密度连接失去平衡映射的加权自动机建模。
本书说明了形式语言在若干领域的应用,其中包括逻辑和离散数学、自然语言处理、人工智能、自然计算及生物信息学。本书可供从事语言方法及与之相关联学科研究及应用的科研人员及工程师阅读借鉴。
胡光华,退休高工
(原中国科学院物理学研究所)